diff options
| -rw-r--r-- | arch/x86/mm/pageattr_64.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86/mm/pageattr_64.c b/arch/x86/mm/pageattr_64.c index 59cd066f674..b21a874c2dd 100644 --- a/arch/x86/mm/pageattr_64.c +++ b/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); |