diff options
author | Andi Kleen <ak@suse.de> | 2005-10-11 01:03:39 +0200 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2005-10-10 16:10:33 -0700 |
commit | 094804c5a132f04c12dd4902ee15c64362e5c1af (patch) | |
tree | 44a146301f43a7ba9db72308585122218ccafe6f /include/linux | |
parent | f96c3bbe91117402f13119ce9e609db9087ed58f (diff) |
[PATCH] x86_64: Fix change_page_attr cache flushing
Noticed by Terence Ripperda
Undo wrong change in global_flush_tlb. We need to flush the caches in all
cases, not just when pages were reverted. This was a bogus optimization
added earlier, but it was wrong.
Signed-off-by: Andi Kleen <ak@suse.de>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions