HelenOS sources

get_pt_flags      149 kernel/arch/abs32le/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
get_pt_flags      203 kernel/arch/amd64/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
get_pt_flags      182 kernel/arch/ia32/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
get_pt_flags      165 kernel/arch/mips32/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
get_pt_flags      164 kernel/arch/ppc32/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
get_pt_flags      181 kernel/arch/riscv64/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
HelenOS homepage, sources at GitHub