K 10
svn:author
V 3
njl
K 8
svn:date
V 27
2003-07-30T17:20:33.000000Z
K 7
svn:log
V 120
Use ACPI_FLUSH_CPU_CACHE() instead of wbinvd().  Verified .o with md5.

Pointed out by:	Mark Santcroos <marks@ripe.net>

END