Signed-off-by: Andi Kleen <[EMAIL PROTECTED]> Acked-by: Jan Beulich <[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/