HelenOS sources

PTE_AP_USER_LIMITED_KERNEL_LIMITED  315 kernel/arch/arm64/include/arch/mm/page.h 	    p->access_permission == PTE_AP_USER_LIMITED_KERNEL_LIMITED);
PTE_AP_USER_LIMITED_KERNEL_LIMITED  366 kernel/arch/arm64/include/arch/mm/page.h 			    PTE_AP_USER_LIMITED_KERNEL_LIMITED;