IA32_MSR_HV_SINT_RSVD_MASK
msr = fInterruptVector | (msr & IA32_MSR_HV_SINT_RSVD_MASK);
msr = fInterruptVector | (msr & IA32_MSR_HV_SINT_RSVD_MASK);
msr = IA32_MSR_HV_SINT_MASKED | (msr & IA32_MSR_HV_SINT_RSVD_MASK);
msr = IA32_MSR_HV_SINT_MASKED | (msr & IA32_MSR_HV_SINT_RSVD_MASK);