Symbol: ACPI_FLUSH_CPU_CACHE
sys/dev/acpi/acpica/acpi_func.h
89
#define ACPI_FLUSH_CPU_CACHE() /* XXX: ia64_fc()? */
sys/dev/acpi/acpica/acpi_func.h
91
#define ACPI_FLUSH_CPU_CACHE() cpu_dcache_wbinv_all()
sys/dev/acpi/acpica/acpi_func.h
93
#define ACPI_FLUSH_CPU_CACHE() wbinvd()