HelenOS sources

PTE_AP_USER_NO_KERNEL_RW  144 boot/arch/arm32/src/mm.c 	pte->access_permission_0 = PTE_AP_USER_NO_KERNEL_RW;
PTE_AP_USER_NO_KERNEL_RW  166 kernel/arch/arm32/include/arch/mm/page_armv4.h 	    ((ap != PTE_AP_USER_NO_KERNEL_RW) << PAGE_USER_SHIFT) |
PTE_AP_USER_NO_KERNEL_RW  167 kernel/arch/arm32/include/arch/mm/page_armv4.h 	    ((ap == PTE_AP_USER_NO_KERNEL_RW) << PAGE_READ_SHIFT) |
PTE_AP_USER_NO_KERNEL_RW  168 kernel/arch/arm32/include/arch/mm/page_armv4.h 	    ((ap == PTE_AP_USER_NO_KERNEL_RW) << PAGE_WRITE_SHIFT) |
PTE_AP_USER_NO_KERNEL_RW  222 kernel/arch/arm32/include/arch/mm/page_armv4.h 	    PTE_AP_USER_NO_KERNEL_RW;