/* * pmap_free_ptps: put a list of ptps back to the freelist. */