HelenOS sources

get_pt_level1_flags  155 kernel/arch/arm32/include/arch/mm/page_armv4.h _NO_TRACE static inline int get_pt_level1_flags(pte_t *pt, size_t i)
get_pt_level1_flags  182 kernel/arch/arm32/include/arch/mm/page_armv6.h _NO_TRACE static inline int get_pt_level1_flags(pte_t *pt, size_t i)
HelenOS homepage, sources at GitHub