Searched refs:ACPI_FADT_WBINVD (Results 1 – 2 of 2) sorted by relevance
443 #define ACPI_FADT_WBINVD (1) /* 00: [V1] The WBINVD instruction works properly */ macro
487 fadt.Flags = htole32(ACPI_FADT_WBINVD | ACPI_FADT_C1_SUPPORTED | in build_fadt()