HelenOS sources

PTE_AP_USER_FULL_KERNEL_FULL  314 kernel/arch/arm64/include/arch/mm/page.h 	int user = (p->access_permission == PTE_AP_USER_FULL_KERNEL_FULL ||
PTE_AP_USER_FULL_KERNEL_FULL  316 kernel/arch/arm64/include/arch/mm/page.h 	int write = (p->access_permission == PTE_AP_USER_FULL_KERNEL_FULL ||
PTE_AP_USER_FULL_KERNEL_FULL  363 kernel/arch/arm64/include/arch/mm/page.h 			p->access_permission = PTE_AP_USER_FULL_KERNEL_FULL;
PTE_AP_USER_FULL_KERNEL_FULL  411 kernel/arch/arm64/include/arch/mm/page.h 	return pte->access_permission == PTE_AP_USER_FULL_KERNEL_FULL ||