HelenOS sources

set_pt_level012_flags  131 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_level012_flags((pte_t *) (ptl0), (size_t) (i), (x))
set_pt_level012_flags  133 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_level012_flags((pte_t *) (ptl1), (size_t) (i), (x))
set_pt_level012_flags  135 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_level012_flags((pte_t *) (ptl2), (size_t) (i), (x))