VMBUS_MESSAGE_SINT
+ VMBUS_MESSAGE_SINT;
msg = (struct hv_message *)page_addr + VMBUS_MESSAGE_SINT;
msg->msg_sint = VMBUS_MESSAGE_SINT;
shared_sint.as_uint64 = hv_get_msr(HV_MSR_SINT0 + VMBUS_MESSAGE_SINT);
hv_set_msr(HV_MSR_SINT0 + VMBUS_MESSAGE_SINT, shared_sint.as_uint64);
hv_stimer_legacy_init(cpu, VMBUS_MESSAGE_SINT);
shared_sint.as_uint64 = hv_get_msr(HV_MSR_SINT0 + VMBUS_MESSAGE_SINT);
hv_set_msr(HV_MSR_SINT0 + VMBUS_MESSAGE_SINT, shared_sint.as_uint64);
__hv_synic_event_pending(hyp_synic_event_page, VMBUS_MESSAGE_SINT) ||
__hv_synic_event_pending(para_synic_event_page, VMBUS_MESSAGE_SINT);
msg = (struct hv_message *)message_page_addr + VMBUS_MESSAGE_SINT;
event = (union hv_synic_event_flags *)event_page_addr + VMBUS_MESSAGE_SINT;
msg = (struct hv_message *)message_page_addr + VMBUS_MESSAGE_SINT;