Symbol: ptbl_free
sys/powerpc/booke/pmap_32.c
131
static void ptbl_free(pmap_t, unsigned int);
sys/powerpc/booke/pmap_32.c
382
ptbl_free(pmap, pdir_idx);