Signed-off-by: Andi Kleen <[EMAIL PROTECTED]>

---
 arch/x86/mm/pageattr_64.c |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Index: linux/arch/x86/mm/pageattr_64.c
===================================================================
--- linux.orig/arch/x86/mm/pageattr_64.c
+++ linux/arch/x86/mm/pageattr_64.c
@@ -95,7 +95,7 @@ static void flush_kernel_map(void *arg)
        /* When clflush is available always use it because it is
           much cheaper than WBINVD. */
        if ((a->full_flush || !cpu_has_clflush) && !cpu_has_ss)
-               asm volatile("wbinvd" ::: "memory");
+               wbinvd();
        list_for_each_entry(f, &a->l, l) {
                if (!a->full_flush && !cpu_has_ss)
                        clflush_cache_range((void *)f->addr, PAGE_SIZE);
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to