From 0712473daefbe4bd6b4047336d5765407ee13868 Mon Sep 17 00:00:00 2001 From: Andi Kleen Date: Wed, 30 Jan 2008 13:33:50 +0100 Subject: [PATCH] --- yaml --- r: 80456 b: refs/heads/master c: 5b016432a768d94c707aee02a202c95d163f27c4 h: refs/heads/master v: v3 --- [refs] | 2 +- trunk/arch/x86/mm/pageattr_64.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/[refs] b/[refs] index fa75c0a82c67..7850b6180d06 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 0e3a95492989e452a33e5df9b51365da574b854d +refs/heads/master: 5b016432a768d94c707aee02a202c95d163f27c4 diff --git a/trunk/arch/x86/mm/pageattr_64.c b/trunk/arch/x86/mm/pageattr_64.c index 59cd066f6741..b21a874c2dd3 100644 --- a/trunk/arch/x86/mm/pageattr_64.c +++ b/trunk/arch/x86/mm/pageattr_64.c @@ -86,7 +86,7 @@ static void flush_kernel_map(void *arg) much cheaper than WBINVD. */ /* clflush is still broken. Disable for now. */ if (1 || !cpu_has_clflush) { - asm volatile("wbinvd" ::: "memory"); + wbinvd(); } else { list_for_each_entry(pg, l, lru) { void *addr = page_address(pg);