Symbol: IA32_MSR_HV_SINT_RSVD_MASK