HelenOS sources

area_flags_to_page_flags 1366 kernel/generic/src/mm/as.c 	unsigned int page_flags = area_flags_to_page_flags(flags);
area_flags_to_page_flags 1709 kernel/generic/src/mm/as.c 	return area_flags_to_page_flags(area->flags);