maybe_change_pte_writable
set_write = maybe_change_pte_writable(vma, ptent) &&
if (!maybe_change_pte_writable(vma, pte))