Searched refs:ptbl_free (Results 1 – 1 of 1) sorted by relevance
131 static void ptbl_free(pmap_t, unsigned int);296 ptbl_free(pmap_t pmap, unsigned int pdir_idx) in ptbl_free() function382 ptbl_free(pmap, pdir_idx); in ptbl_unhold()