pmap_trm_free
pmap_trm_free(pldt->ldt_base, pldt->ldt_len *
pmap_trm_free(new_ldt->ldt_base,
pmap_trm_free(old_ldt_base, old_ldt_len *
pmap_trm_free(pcb->pcb_ext, ctob(IOPAGES + 1));
void pmap_trm_free(void *addr, size_t size);