HelenOS sources

PTE_AP1_RO         51 kernel/arch/arm32/include/arch/mm/page_armv6.h 	(((pte_t *) (pte))->l1.access_permission_1 != PTE_AP1_RO)
PTE_AP1_RO        196 kernel/arch/arm32/include/arch/mm/page_armv6.h 	    (((ap1 != PTE_AP1_RO) && (ap0 == PTE_AP0_USER_FULL_KERNEL_FULL)) << PAGE_WRITE_SHIFT) |
PTE_AP1_RO        197 kernel/arch/arm32/include/arch/mm/page_armv6.h 	    (((ap1 != PTE_AP1_RO) && (ap0 == PTE_AP0_USER_NO_KERNEL_FULL)) << PAGE_WRITE_SHIFT) |
PTE_AP1_RO        294 kernel/arch/arm32/include/arch/mm/page_armv6.h 			p->access_permission_1 = PTE_AP1_RO;