Nate Lawson a7985e4feb Use ACPI_FLUSH_CPU_CACHE() instead of wbinvd(). Verified .o with md5. ... Pointed out by: Mark Santcroos <marks@ripe.net>		2003-07-30 17:20:33 +00:00
..
acpi_machdep.c
acpi_wakecode.S
acpi_wakeup.c
genwakecode.sh
Makefile
OsdEnvironment.c