diff --git a/[refs] b/[refs] index 917b0c5e6a78..79100070b4c7 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: b195bc00ef8c2ccf8cc744e5ff9470cb08b45d76 +refs/heads/master: 4554ab95c2b9d6b0ee9cf2a7ed3df665422acebb diff --git a/trunk/arch/x86/mm/pageattr.c b/trunk/arch/x86/mm/pageattr.c index 251613449dd6..510ff4091667 100644 --- a/trunk/arch/x86/mm/pageattr.c +++ b/trunk/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