HelenOS sources

PTE_AP0_USER_FULL_KERNEL_FULL  193 kernel/arch/arm32/include/arch/mm/page_armv6.h 	    ((ap0 == PTE_AP0_USER_FULL_KERNEL_FULL) << PAGE_READ_SHIFT) |
PTE_AP0_USER_FULL_KERNEL_FULL  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_AP0_USER_FULL_KERNEL_FULL  290 kernel/arch/arm32/include/arch/mm/page_armv6.h 		p->access_permission_0 = PTE_AP0_USER_FULL_KERNEL_FULL;