as_get_area_info 383 kernel/generic/include/mm/as.h extern as_area_info_t *as_get_area_info(as_t *, size_t *); as_get_area_info 282 kernel/generic/src/udebug/udebug_ipc.c data = as_get_area_info(AS, &data_size);