Searched defs:EFI_ACPI_1_0_WBINVD (Results 1 – 3 of 3) sorted by relevance
113 #define EFI_ACPI_1_0_WBINVD (1 << 0) macro
104 #define EFI_ACPI_1_0_WBINVD (1 << 0) macro
473 #define EFI_ACPI_1_0_WBINVD BIT0 macro