VMBUS_SINT_TIMER
((((uint64_t)VMBUS_SINT_TIMER) << MSR_HV_STIMER_CFG_SINT_SHIFT) & \
sint = MSR_HV_SINT0 + VMBUS_SINT_TIMER;
msg = psc->message + VMBUS_SINT_TIMER;
sint = MSR_HV_SINT0 + VMBUS_SINT_TIMER;