Symbol: IA32_MSR_HV_SIEFP_RSVD_MASK