njl b1c3709a1f 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-06-02 06:16:45 +00:00
2003-06-02 06:16:45 +00:00
2003-06-02 06:16:45 +00:00