Symbol: ptbl_init
sys/powerpc/booke/pmap.c
1091
ptbl_init();
sys/powerpc/booke/pmap_32.c
125
static void ptbl_init(void);
sys/powerpc/booke/pmap_32.c
164
ptbl_init(void)