Symbol: icache_inv_page
sys/arch/powerpc/booke/booke_pmap.c
105
icache_inv_page(pa);
sys/arch/powerpc/booke/trap.c
315
icache_inv_page(pa);
sys/arch/powerpc/include/cpu.h
396
void icache_inv_page(vaddr_t);