Searched refs:iccci (Results 1 – 4 of 4) sorted by relevance
127 iccci((void *)KERNELBASE); in flush_instruction_cache()
143 static inline void iccci(void *addr) in iccci() function
71 iccci((void *)start); in flush_icache_range()
175 iccci r0,r0