added pmap_pte_unmap