HelenOS sources

NON_LEAF_MASK     130 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl0), (size_t) (i), ((flags) & NON_LEAF_MASK))
NON_LEAF_MASK     133 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl1), (size_t) (i), ((flags) & NON_LEAF_MASK))
NON_LEAF_MASK     136 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl2), (size_t) (i), ((flags) & NON_LEAF_MASK))