/* * pmap_unmap_ptes: unlock the PTE mapping of "pmap" */