6 void flush_icache(cell start, cell len)
10 /* XXX: why doesn't this work on Nokia n800? It should behave
11 identically to the below assembly. */
12 /* result = syscall(__ARM_NR_cacheflush,start,start + len,0); */
14 /* Assembly swiped from
15 http://lists.arm.linux.org.uk/pipermail/linux-arm/2002-July/003931.html
17 __asm__ __volatile__ (
21 "swi " __sys1(__ARM_NR_cacheflush) "\n"
24 : "r" (start), "r" (start + len)
28 tls_vm()critical_error("flush_icache() failed",result);