}
 }
 
-#define hv_init_timer(timer, tick) wrmsrl(timer, tick)
-#define hv_init_timer_config(config, val) wrmsrl(config, val)
+#define hv_init_timer(timer, tick) \
+       wrmsrl(HV_X64_MSR_STIMER0_COUNT + (2*timer), tick)
+#define hv_init_timer_config(timer, val) \
+       wrmsrl(HV_X64_MSR_STIMER0_CONFIG + (2*timer), val)
 
 #define hv_get_simp(val) rdmsrl(HV_X64_MSR_SIMP, val)
 #define hv_set_simp(val) wrmsrl(HV_X64_MSR_SIMP, val)
 
 #define hv_get_vp_index(index) rdmsrl(HV_X64_MSR_VP_INDEX, index)
 
-#define hv_get_synint_state(int_num, val) rdmsrl(int_num, val)
-#define hv_set_synint_state(int_num, val) wrmsrl(int_num, val)
+#define hv_get_synint_state(int_num, val) \
+       rdmsrl(HV_X64_MSR_SINT0 + int_num, val)
+#define hv_set_synint_state(int_num, val) \
+       wrmsrl(HV_X64_MSR_SINT0 + int_num, val)
 
 void hyperv_callback_vector(void);
 void hyperv_reenlightenment_vector(void);
 
 
        current_tick = hyperv_cs->read(NULL);
        current_tick += delta;
-       hv_init_timer(HV_X64_MSR_STIMER0_COUNT, current_tick);
+       hv_init_timer(0, current_tick);
        return 0;
 }
 
 static int hv_ce_shutdown(struct clock_event_device *evt)
 {
-       hv_init_timer(HV_X64_MSR_STIMER0_COUNT, 0);
-       hv_init_timer_config(HV_X64_MSR_STIMER0_CONFIG, 0);
+       hv_init_timer(0, 0);
+       hv_init_timer_config(0, 0);
        if (direct_mode_enabled)
                hv_disable_stimer0_percpu_irq(stimer0_irq);
 
                timer_cfg.direct_mode = 0;
                timer_cfg.sintx = VMBUS_MESSAGE_SINT;
        }
-       hv_init_timer_config(HV_X64_MSR_STIMER0_CONFIG, timer_cfg.as_uint64);
+       hv_init_timer_config(0, timer_cfg.as_uint64);
        return 0;
 }
 
        hv_set_siefp(siefp.as_uint64);
 
        /* Setup the shared SINT. */
-       hv_get_synint_state(HV_X64_MSR_SINT0 + VMBUS_MESSAGE_SINT,
-                           shared_sint.as_uint64);
+       hv_get_synint_state(VMBUS_MESSAGE_SINT, shared_sint.as_uint64);
 
        shared_sint.vector = HYPERVISOR_CALLBACK_VECTOR;
        shared_sint.masked = false;
        else
                shared_sint.auto_eoi = true;
 
-       hv_set_synint_state(HV_X64_MSR_SINT0 + VMBUS_MESSAGE_SINT,
-                           shared_sint.as_uint64);
+       hv_set_synint_state(VMBUS_MESSAGE_SINT, shared_sint.as_uint64);
 
        /* Enable the global synic bit */
        hv_get_synic_state(sctrl.as_uint64);
                put_cpu_ptr(hv_cpu);
        }
 
-       hv_get_synint_state(HV_X64_MSR_SINT0 + VMBUS_MESSAGE_SINT,
-                           shared_sint.as_uint64);
+       hv_get_synint_state(VMBUS_MESSAGE_SINT, shared_sint.as_uint64);
 
        shared_sint.masked = 1;
 
        /* Need to correctly cleanup in the case of SMP!!! */
        /* Disable the interrupt */
-       hv_set_synint_state(HV_X64_MSR_SINT0 + VMBUS_MESSAGE_SINT,
-                           shared_sint.as_uint64);
+       hv_set_synint_state(VMBUS_MESSAGE_SINT, shared_sint.as_uint64);
 
        hv_get_simp(simp.as_uint64);
        simp.simp_enabled = 0;