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