pmap_freepage
pmap_freepage(pmap, ptp, level);
pmap_freepage(pmap, pt->pg[i], i - 1);
static void pmap_freepage(struct pmap *, struct vm_page *, int);