IA32_MSR_HV_SIEFP_PAGE_SHIFT
msr = ((eventFlagsPhys >> HV_PAGE_SHIFT) << IA32_MSR_HV_SIEFP_PAGE_SHIFT)
#define IA32_MSR_HV_SIEFP_PAGE_MASK (~0ULL << IA32_MSR_HV_SIEFP_PAGE_SHIFT)