HelenOS sources

PTE_AP_USER_RO_KERNEL_RW  163 kernel/arch/arm32/include/arch/mm/page_armv4.h 	    ((ap == PTE_AP_USER_RO_KERNEL_RW) << PAGE_READ_SHIFT) |
PTE_AP_USER_RO_KERNEL_RW  228 kernel/arch/arm32/include/arch/mm/page_armv4.h 			    PTE_AP_USER_RO_KERNEL_RW;