diff --git a/arch/x86/mm/pageattr.c b/arch/x86/mm/pageattr.c index 251613449dd6..510ff4091667 100644 --- a/arch/x86/mm/pageattr.c +++ b/arch/x86/mm/pageattr.c @@ -9,6 +9,14 @@ #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