Symbol: icache_inv
sys/arch/powerpc/booke/booke_pmap.c
82
icache_inv(pte_to_paddr(pt_entry) + off, segeva - va);
sys/arch/powerpc/include/cpu.h
400
void icache_inv(vaddr_t, vsize_t);