Symbol: IA32_MSR_HV_SCONTROL_RSVD_MASK