HelenOS sources

PTE_AP_USER_NO_KERNEL_LIMITED  371 kernel/arch/arm64/include/arch/mm/page.h 			p->access_permission = PTE_AP_USER_NO_KERNEL_LIMITED;
PTE_AP_USER_NO_KERNEL_LIMITED  399 kernel/arch/arm64/include/arch/mm/page.h 	    pte->access_permission == PTE_AP_USER_NO_KERNEL_LIMITED)