ACPI_FLUSH_CPU_CACHE (definition) in projects: freebsd-head

Searched defs:ACPI_FLUSH_CPU_CACHE (Results 1 – 3 of 3) sorted by relevance

/freebsd-head/sys/x86/include/
H D	acpica_machdep.h	`60 #define ACPI_FLUSH_CPU_CACHE() wbinvd() macro`
/freebsd-head/sys/contrib/dev/acpica/include/platform/
H D	acfreebsd.h	`224 #define ACPI_FLUSH_CPU_CACHE() macro`
H D	acenv.h	`415 #define ACPI_FLUSH_CPU_CACHE() macro`