Symbol: iccci
arch/powerpc/include/asm/cacheflush.h
127
iccci((void *)KERNELBASE);
arch/powerpc/mm/cacheflush.c
71
iccci((void *)start);