--- a/xen/arch/x86/hvm/rtc.c
+++ b/xen/arch/x86/hvm/rtc.c
@@ -451,6 +451,7 @@ static int rtc_ioport_write(void *opaque
             rtc_timer_update(s);
         break;
     case RTC_REG_B:
+printk("B=%02x [A:%02x B:%02x C:%02x]\n", data, s->hw.cmos_data[RTC_REG_A], orig, s->hw.cmos_data[RTC_REG_C]);//temp
         if ( data & RTC_SET )
         {
             /* set mode: reset UIP mode */
@@ -629,6 +630,7 @@ static uint32_t rtc_ioport_read(RTCState
     case RTC_REG_C:
         ret = s->hw.cmos_data[s->hw.cmos_index];
         s->hw.cmos_data[RTC_REG_C] = 0x00;
+printk("C=%02x\n", ret);//temp
         rtc_update_irq(s);
         check_update_timer(s);
         alarm_timer_update(s);