HelenOS sources

PTE_AP_USER_RW_KERNEL_RW   54 kernel/arch/arm32/include/arch/mm/page_armv4.h 	(((pte_t *) (pte))->l1.access_permission_0 == PTE_AP_USER_RW_KERNEL_RW)
PTE_AP_USER_RW_KERNEL_RW  164 kernel/arch/arm32/include/arch/mm/page_armv4.h 	    ((ap == PTE_AP_USER_RW_KERNEL_RW) << PAGE_READ_SHIFT) |
PTE_AP_USER_RW_KERNEL_RW  165 kernel/arch/arm32/include/arch/mm/page_armv4.h 	    ((ap == PTE_AP_USER_RW_KERNEL_RW) << PAGE_WRITE_SHIFT) |
PTE_AP_USER_RW_KERNEL_RW  233 kernel/arch/arm32/include/arch/mm/page_armv4.h 			    PTE_AP_USER_RW_KERNEL_RW;