diff --git a/arch/x86/mm/pageattr_64.c b/arch/x86/mm/pageattr_64.c index e1c860800ff..0246511be99 100644 --- a/arch/x86/mm/pageattr_64.c +++ b/arch/x86/mm/pageattr_64.c @@ -9,14 +9,6 @@ #include #include -void clflush_cache_range(void *addr, int size) -{ - int i; - - for (i = 0; i < size; i += boot_cpu_data.x86_clflush_size) - clflush(addr+i); -} - #include #include #include