Home
last modified time | relevance | path

Searched refs:ACPI_FADT_WBINVD (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/contrib/dev/acpica/include/
H A Dactbl.h444 #define ACPI_FADT_WBINVD (1) /* 00: [V1] The WBINVD instruction works properly */ macro
/freebsd/usr.sbin/bhyve/
H A Dacpi.c488 fadt.Flags = htole32(ACPI_FADT_WBINVD | ACPI_FADT_C1_SUPPORTED | in build_fadt()
/freebsd/sys/dev/acpica/
H A Dacpi_cpu.c1275 if ((AcpiGbl_FADT.Flags & ACPI_FADT_WBINVD) && in acpi_cpu_quirks()