Searched refs:iccci (Results 1 – 6 of 6) sorted by relevance
143 static inline void iccci(void *addr) in iccci() function
127 iccci((void *)KERNELBASE); in flush_instruction_cache()
71 iccci((void *)start); in flush_icache_range()
178 iccci r0,r0
680 iccci r0,r3 /* Invalidate the i-cache before use */
5933 GEN_HANDLER(iccci, 0x1F, 0x06, 0x1E, 0x00000001, PPC_4xx_COMMON),