Searched refs:EFI_ACPI_3_0_WBINVD (Results 1 – 3 of 3) sorted by relevance
201 #define EFI_ACPI_3_0_WBINVD (1 << 0) macro
208 #define EFI_ACPI_3_0_WBINVD (1 << 0) macro
240 #define EFI_ACPI_3_0_WBINVD BIT0 macro