Symbol: tid_flush
sys/powerpc/booke/pmap_32.c
938
tid_flush(tlbtid_t tid)
sys/powerpc/booke/pmap_64.c
753
tid_flush(tlbtid_t tid)