242 void flush_idcache_range(uintptr_t rx, uintptr_t rw, size_t len)  in flush_idcache_range()  argument
244     if (rx == rw) {  in flush_idcache_range()
252     sys_icache_invalidate((void *)rx, len);  in flush_idcache_range()
260 void flush_idcache_range(uintptr_t rx, uintptr_t rw, size_t len)  in flush_idcache_range()  argument
290         for (p = rx & -icache_lsize; p < rx + len; p += icache_lsize) {  in flush_idcache_range()
308 void flush_idcache_range(uintptr_t rx, uintptr_t rw, size_t len)  in flush_idcache_range()  argument
310     if (rx != rw) {  in flush_idcache_range()
313     cacheflush((void *)rx, len, ICACHE);  in flush_idcache_range()
318 void flush_idcache_range(uintptr_t rx, uintptr_t rw, size_t len)  in flush_idcache_range()  argument
333                       : : "r"(rx) : "memory");  in flush_idcache_range()
347     b = rx & ~(isize - 1);  in flush_idcache_range()
348     e = (rx + len + isize - 1) & ~(isize - 1);  in flush_idcache_range()
358 void flush_idcache_range(uintptr_t rx, uintptr_t rw, size_t len)  in flush_idcache_range()  argument
361     uintptr_t p, end = (rx + len + 7) & -8;  in flush_idcache_range()
362     for (p = rx & -8; p < end; p += 8) {  in flush_idcache_range()
369 void flush_idcache_range(uintptr_t rx, uintptr_t rw, size_t len)  in flush_idcache_range()  argument
371     if (rw != rx) {  in flush_idcache_range()
374     __builtin___clear_cache((char *)rx, (char *)rx + len);  in flush_idcache_range()