diff --git a/[refs] b/[refs] index 99f51ce10ed8..7476536eb258 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 44af6c41e6a055a0b9bd0d2067cfbc8e9f6a24df +refs/heads/master: 6050be70d8f7e3952fcc31fcf1fa8a7cbaa18312 diff --git a/trunk/arch/x86/mm/pageattr_64.c b/trunk/arch/x86/mm/pageattr_64.c index e1c860800ff1..0246511be99d 100644 --- a/trunk/arch/x86/mm/pageattr_64.c +++ b/trunk/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