HV_X64_MSR_SINT0
return (reg >= HV_X64_MSR_SINT0) &&
return reg - HV_X64_MSR_SINT0 + HV_X64_MSR_NESTED_SINT0;
case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
ret = synic_set_sint(synic, msr - HV_X64_MSR_SINT0, data, host);
case HV_X64_MSR_SINT0 ... HV_X64_MSR_SINT15:
*pdata = atomic64_read(&synic->sint[msr - HV_X64_MSR_SINT0]);
#define HV_MSR_SINT0 (HV_X64_MSR_SINT0)