HelenOS sources

PTE_PRESENT_ARCH   48 kernel/arch/arm32/include/arch/mm/page_armv4.h 	(((pte_t *) (pte))->l0.should_be_zero != 0 || PTE_PRESENT_ARCH(pte))
PTE_PRESENT_ARCH   45 kernel/arch/arm32/include/arch/mm/page_armv6.h 	(((pte_t *) (pte))->l0.should_be_zero_0 != 0 || PTE_PRESENT_ARCH(pte))
PTE_PRESENT_ARCH  136 kernel/genarch/include/genarch/mm/page_pt.h #define PTE_PRESENT(p)     PTE_PRESENT_ARCH((p))