Searched refs:iccci (Results 1 – 5 of 5) sorted by relevance
104 iccci((void *)KERNELBASE); in flush_instruction_cache()
139 static inline void iccci(void *addr) in iccci() function
420 iccci((void *)start); in flush_icache_range()
646 iccci r0,r3 /* Invalidate the i-cache before use */
477 iccci r0,r0960 iccci r0,r0
