as_area_get_size 340 kernel/generic/include/mm/as.h extern size_t as_area_get_size(uintptr_t); as_area_get_size 46 kernel/generic/src/ipc/ops/shareout.c size_t size = as_area_get_size(ipc_get_arg1(&call->data));