HelenOS sources

PTE_AP0_USER_NO_KERNEL_FULL  194 kernel/arch/arm32/include/arch/mm/page_armv6.h 	    ((ap0 == PTE_AP0_USER_NO_KERNEL_FULL) << PAGE_READ_SHIFT) |
PTE_AP0_USER_NO_KERNEL_FULL  195 kernel/arch/arm32/include/arch/mm/page_armv6.h 	    ((ap0 != PTE_AP0_USER_NO_KERNEL_FULL) << PAGE_USER_SHIFT) |
PTE_AP0_USER_NO_KERNEL_FULL  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_AP0_USER_NO_KERNEL_FULL  287 kernel/arch/arm32/include/arch/mm/page_armv6.h 	p->access_permission_0 = PTE_AP0_USER_NO_KERNEL_FULL;