used_space_initialize 121 kernel/generic/src/mm/as.c static void used_space_initialize(used_space_t *); used_space_initialize 846 kernel/generic/src/mm/as.c used_space_initialize(&area->used_space);