Symbol: tlbie
sys/arch/powerpc/powerpc/pmap.c
365
tlbie(vaddr_t va)
sys/arch/powerpc64/include/cpufunc.h
73
tlbie(uint64_t ava)