Symbol: TLBIE
sys/arch/powerpc/oea/pmap.c
561
TLBIE(i);
sys/arch/powerpc/oea/pmap.c
752
TLBIE(va);
sys/arch/powerpc/oea/pmap.c
807
TLBIE(va);