HelenOS sources

set_pt_level0_flags  180 kernel/arch/arm32/include/arch/mm/page_armv4.h _NO_TRACE static inline void set_pt_level0_flags(pte_t *pt, size_t i, int flags)
set_pt_level0_flags  208 kernel/arch/arm32/include/arch/mm/page_armv6.h _NO_TRACE static inline void set_pt_level0_flags(pte_t *pt, size_t i, int flags)
HelenOS homepage, sources at GitHub