Symbol: ptbl_free_pmap_ptbl
sys/powerpc/booke/pmap_32.c
128
static void ptbl_free_pmap_ptbl(pmap_t, pte_t *);
sys/powerpc/booke/pmap_32.c
266
ptbl_free_pmap_ptbl(pmap, ptbl);
sys/powerpc/booke/pmap_32.c
337
ptbl_free_pmap_ptbl(pmap, ptbl);