used_space_finalize 122 kernel/generic/src/mm/as.c static void used_space_finalize(used_space_t *); used_space_finalize 1156 kernel/generic/src/mm/as.c used_space_finalize(&area->used_space);