13 lines
523 B
Diff
13 lines
523 B
Diff
|
--- a/arch/arm/machine.h
|
||
|
|
+++ b/arch/arm/machine.h
|
||
|
|
@@ -35,8 +35,7 @@
|
||
|
|
/* this calls a dummy function in cacheflush0.S */
|
||
|
|
/* you can replace it through "./configure arm_cacheflush=<file>" */
|
||
|
|
/* if you know how to flush the icache on the arm in general, mail me */
|
||
|
|
-#define FLUSH_ICACHE(addr,size) cacheflush(addr,size)
|
||
|
|
-void cacheflush(void *p, size_t size);
|
||
|
|
+#define FLUSH_ICACHE(addr,size) __builtin___clear_cache((addr),(addr)+(size))
|
||
|
|
|
||
|
|
#if defined(FORCE_REG) && !defined(DOUBLY_INDIRECT) && !defined(VM_PROFILING)
|
||
|
|
/*
|