Symbol: tlb_iorelease
sys/arch/powerpc/booke/booke_stubs.c
172
tlb_iorelease(vaddr_t va)
sys/arch/powerpc/include/booke/cpuvar.h
187
int tlb_iorelease(vaddr_t);