pmap_free_page
pmap_free_page((paddr_t)ptbl, pm);
pmap_free_page((paddr_t)pdir, pm);
pmap_free_page(tmp, pm);
void pmap_free_page(paddr_t, struct pmap *);