147 static inline bool __pte_access_permitted(pte_t pte, u64 prot)  in __pte_access_permitted()  argument
149 	return (pte_val(pte) & (prot | _PAGE_SPECIAL)) == prot;  in __pte_access_permitted()
155 	u64 prot = _PAGE_PRESENT;  in pte_access_permitted()  local
157 	prot |= _PAGE_EXT(_PAGE_EXT_KERN_READ | _PAGE_EXT_USER_READ);  in pte_access_permitted()
159 		prot |= _PAGE_EXT(_PAGE_EXT_KERN_WRITE | _PAGE_EXT_USER_WRITE);  in pte_access_permitted()
160 	return __pte_access_permitted(pte, prot);  in pte_access_permitted()
165 	u64 prot = _PAGE_PRESENT | _PAGE_USER | _PAGE_READ;  in pte_access_permitted()  local
168 		prot |= _PAGE_WRITE;  in pte_access_permitted()
169 	return __pte_access_permitted(pte, prot);  in pte_access_permitted()
174 	u64 prot = _PAGE_PRESENT | _PAGE_USER;  in pte_access_permitted()  local
177 		prot |= _PAGE_RW;  in pte_access_permitted()
178 	return __pte_access_permitted(pte, prot);  in pte_access_permitted()