__pte_access_permitted
return __pte_access_permitted(pte, prot);
return __pte_access_permitted(pte, prot);
return __pte_access_permitted(pte_val(pte), write);
return __pte_access_permitted(pmd_val(pmd), write);
return __pte_access_permitted(pud_val(pud), write);