[PATCH] i386: Use CLFLUSH instead of WBINVD in change_page_attr
authorAndi Kleen <ak@suse.de>
Thu, 7 Dec 2006 01:14:05 +0000 (02:14 +0100)
committerAndi Kleen <andi@basil.nowhere.org>
Thu, 7 Dec 2006 01:14:05 +0000 (02:14 +0100)
CLFLUSH is a lot faster than WBINVD so try to use that.

Signed-off-by: Andi Kleen <ak@suse.de>

No differences found