ACPI_FLUSH_CPU_CACHE   98 include/acpi/platform/aclinux.h #define ACPI_FLUSH_CPU_CACHE()
ACPI_FLUSH_CPU_CACHE   55 include/asm-x86/acpi.h #define ACPI_FLUSH_CPU_CACHE()	wbinvd()