tree 2af24364ffedbf2c21c975c028d7fee80da28335
parent 770d132f03ac15b12919f1bac481f4beda13e094
author Andi Kleen <ak@suse.de> 1165454045 +0100
committer Andi Kleen <andi@basil.nowhere.org> 1165454045 +0100

[PATCH] i386: Use CLFLUSH instead of WBINVD in change_page_attr

CLFLUSH is a lot faster than WBINVD so try to use that.

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