Symbol: IA32_MSR_HV_SIMP_PAGE_SHIFT