Symbol: ACPI_FLUSH_CPU_CACHE
src/add-ons/kernel/bus_managers/acpi/acpica/include/platform/acenv.h
415
#define ACPI_FLUSH_CPU_CACHE()
src/add-ons/kernel/bus_managers/acpi/acpica/include/platform/achaiku.h
196
#define ACPI_FLUSH_CPU_CACHE() __asm __volatile("wbinvd");