l2pte_writable_p
} else if (l2pte_writable_p(opte)) {
l2pte_writable_p(opte) &&
if (l2pte_valid_p(opte) && l2pte_writable_p(opte)) {
if ((ftype & VM_PROT_WRITE) && !l2pte_writable_p(opte)) {