Symbol: tid_flush
sys/powerpc/booke/pmap.c
2485
tid_flush(tid);
sys/powerpc/booke/pmap_32.c
118
static void tid_flush(tlbtid_t tid);
sys/powerpc/booke/pmap_64.c
127
static void tid_flush(tlbtid_t tid);