Home
last modified time | relevance | path

Searched refs:MPX (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/edk2/UefiCpuPkg/Include/Register/
DCpuid.h1366 UINT32 MPX:1; member
1833 UINT32 MPX:2; member
/device/linaro/bootloader/edk2/UefiCpuPkg/Application/Cpuid/
DCpuid.c611 PRINT_BIT_FIELD (Ebx, MPX); in CpuidStructuredExtendedFeatureFlags()
813 PRINT_BIT_FIELD (Eax, MPX); in CpuidExtendedStateMainLeaf()