EFI_ACPI_4_0_WBINVD (reference) in projects: device

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

/device/linaro/bootloader/edk2/Vlv2DeviceRefCodePkg/AcpiTablesPCAT/
D	AcpiTablePlatform.h	`72 #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/
D	Acpi40.h	`198 #define EFI_ACPI_4_0_WBINVD BIT0 macro`