Symbol: tlb0_tableidx
sys/powerpc/booke/pmap.c
247
static inline unsigned int tlb0_tableidx(vm_offset_t, unsigned int);
sys/powerpc/booke/pmap.c
3093
idx = tlb0_tableidx(mas2, way);