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))HelenOS homepage, sources at GitHub