/* * pmap_pv_protect: change the protection of all recorded mappings * of an unmanaged page */