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	Use __FBSDID().	2003-06-02 06:16:45 +00:00
acpi_wakecode.S	Use __FBSDID().	2003-06-02 06:16:45 +00:00
acpi_wakeup.c	Use ACPI_FLUSH_CPU_CACHE() instead of wbinvd(). Verified .o with md5.	2003-07-30 17:20:33 +00:00
genwakecode.sh	Add a shell script to do what genwakecode.pl does.	2002-05-01 21:52:34 +00:00
Makefile	Try using genwakecode.sh instead of the perl version.	2002-05-01 21:54:07 +00:00
OsdEnvironment.c	Use __FBSDID().	2003-06-02 06:16:45 +00:00