pmap_unget_ptp
pmap_unget_ptp(pmap, pt);
static void pmap_unget_ptp(struct pmap *, struct pmap_ptparray *);
pmap_unget_ptp(pmap, &pt);