HelenOS sources

get_pt_level012_flags  121 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_level012_flags((pte_t *) (ptl0), (size_t) (i))
get_pt_level012_flags  123 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_level012_flags((pte_t *) (ptl1), (size_t) (i))
get_pt_level012_flags  125 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_level012_flags((pte_t *) (ptl2), (size_t) (i))