Home
last modified time | relevance | path

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

/device/linaro/bootloader/edk2/Vlv2DeviceRefCodePkg/AcpiTablesPCAT/
DAcpiTablePlatform.h72 #define FLAG ( EFI_ACPI_4_0_WBINVD | EFI_ACPI_4_0_SLP_BUTTON | EFI_ACPI_4_0_RESET_REG_SU…
/device/linaro/bootloader/edk2/MdePkg/Include/IndustryStandard/
DAcpi40.h198 #define EFI_ACPI_4_0_WBINVD BIT0 macro