|
@@ -4,7 +4,6 @@
|
|
|
/* Caches aren't brain-dead on the intel. */
|
|
/* Caches aren't brain-dead on the intel. */
|
|
|
#include <asm-generic/cacheflush.h>
|
|
#include <asm-generic/cacheflush.h>
|
|
|
#include <asm/special_insns.h>
|
|
#include <asm/special_insns.h>
|
|
|
-#include <asm/set_memory.h>
|
|
|
|
|
|
|
|
|
|
void clflush_cache_range(void *addr, unsigned int size);
|
|
void clflush_cache_range(void *addr, unsigned int size);
|
|
|
|
|
|