HelenOS sources

PTE_AP_USER_NO_KERNEL_FULL  317 kernel/arch/arm64/include/arch/mm/page.h 	    p->access_permission == PTE_AP_USER_NO_KERNEL_FULL);
PTE_AP_USER_NO_KERNEL_FULL  369 kernel/arch/arm64/include/arch/mm/page.h 			p->access_permission = PTE_AP_USER_NO_KERNEL_FULL;
PTE_AP_USER_NO_KERNEL_FULL  398 kernel/arch/arm64/include/arch/mm/page.h 	if (pte->access_permission == PTE_AP_USER_NO_KERNEL_FULL ||
PTE_AP_USER_NO_KERNEL_FULL  412 kernel/arch/arm64/include/arch/mm/page.h 	    pte->access_permission == PTE_AP_USER_NO_KERNEL_FULL;