Searched refs:EFI_MSR_IA32_PLATFORM_ID (Results 1 – 7 of 7) sorted by relevance
84 MaxRatio = ((RShiftU64 (AsmReadMsr64(EFI_MSR_IA32_PLATFORM_ID), 8)) & 0x1F); in PpmPolicyEntry()91 CPUMobileFeature = ((RShiftU64 (AsmReadMsr64(EFI_MSR_IA32_PLATFORM_ID), 28)) & 0x1); in PpmPolicyEntry()
18 #define EFI_MSR_IA32_PLATFORM_ID 0x17 macro
83 PlatformId = (UINT8) AsmMsrBitFieldRead64 (EFI_MSR_IA32_PLATFORM_ID, 50, 52); in MicrocodeDetect()
48 #define EFI_MSR_IA32_PLATFORM_ID 0x17 macro
47 #define EFI_MSR_IA32_PLATFORM_ID 0x17 macro
88 #define EFI_MSR_IA32_PLATFORM_ID 0x17
78 #define EFI_MSR_IA32_PLATFORM_ID 0x17 macro