HV_SYNIC_DOORBELL_SINT_INDEX
if (notification->sint_index != HV_SYNIC_DOORBELL_SINT_INDEX)
while ((port = synic_event_ring_get_queued_port(HV_SYNIC_DOORBELL_SINT_INDEX))) {
hv_set_non_nested_msr(HV_MSR_SINT0 + HV_SYNIC_DOORBELL_SINT_INDEX,
sint.as_uint64 = hv_get_non_nested_msr(HV_MSR_SINT0 + HV_SYNIC_DOORBELL_SINT_INDEX);
hv_set_non_nested_msr(HV_MSR_SINT0 + HV_SYNIC_DOORBELL_SINT_INDEX,
port_info.doorbell_port_info.target_sint = HV_SYNIC_DOORBELL_SINT_INDEX;