MSR_HV_SINT0
sint = rdmsr(MSR_HV_SINT0 + VMBUS_SINT_MESSAGE);
wrmsr(MSR_HV_SINT0 + VMBUS_SINT_MESSAGE, sint);