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