HelenOS sources
as_area_get_flags 338 kernel/generic/include/mm/as.h extern unsigned int as_area_get_flags(as_area_t *);
as_area_get_flags 260 kernel/generic/src/mm/backend_anon.c page_mapping_insert(AS, upage, frame, as_area_get_flags(area));
as_area_get_flags 304 kernel/generic/src/mm/backend_elf.c as_area_get_flags(area));
as_area_get_flags 399 kernel/generic/src/mm/backend_elf.c page_mapping_insert(AS, upage, frame, as_area_get_flags(area));
as_area_get_flags 147 kernel/generic/src/mm/backend_phys.c as_area_get_flags(area));
as_area_get_flags 149 kernel/generic/src/mm/backend_user.c page_mapping_insert(AS, upage, frame, as_area_get_flags(area));
HelenOS homepage, sources at GitHub