Home
last modified time | relevance | path

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

/device/linaro/bootloader/edk2/EdkCompatibilityPkg/Foundation/Include/IndustryStandard/
DHighPrecisionEventTimerTable.h57 #define EFI_ACPI_4KB_PAGE_PROTECTION 1 macro
/device/linaro/bootloader/edk2/MdePkg/Include/IndustryStandard/
DHighPrecisionEventTimerTable.h47 #define EFI_ACPI_4KB_PAGE_PROTECTION 1 macro