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
..
2003-05-19 20:29:07 +00:00
2003-06-10 21:44:29 +00:00
2003-07-21 02:49:42 +00:00
2003-07-29 14:10:13 +00:00
2003-06-11 05:37:42 +00:00
2003-06-11 05:37:42 +00:00
2003-07-23 12:09:14 +00:00
2003-07-27 14:38:54 +00:00
2003-06-11 06:34:30 +00:00
2003-07-05 01:24:36 +00:00