Searched refs:ptbl_free (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.3-release/sys/powerpc/booke/
H A Dpmap.c232 static void ptbl_free(mmu_t, pmap_t, unsigned int);
621 ptbl_free(mmu_t mmu, pmap_t pmap, unsigned int pdir_idx) function
633 ("ptbl_free: invalid pdir_idx"));
639 KASSERT((ptbl != NULL), ("ptbl_free: null ptbl"));
707 ptbl_free(mmu, pmap, pdir_idx);

Completed in 164 milliseconds