src/cspace/two_level.c

30     if (!cspace->second_levels[l1slot]) {
37     l2_path = _cspace_single_level_make_path(&cspace->second_levels[l1slot]->second_level, l2slot);
67     cspace->second_levels[index] = (struct cspace_two_level_node *) allocman_mspace_alloc(alloc,
74         cspace->second_levels[index]->cookie = allocman_utspace_alloc(alloc, cspace->config.level_two_bits + seL4_SlotBits,
76         cspace->second_levels[index]->cookie_valid = 1;
78         cspace->second_levels[index]->cookie_valid = 0;
81         allocman_mspace_free(alloc, cspace->second_levels[index], sizeof(struct cspace_two_level_node));
82         cspace->second_levels[index] = NULL;
85     error = cspace_single_level_create(alloc, &cspace->second_levels[index]->second_level, single_config);
87         allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
88         allocman_mspace_free(alloc, cspace->second_levels[index], sizeof(struct cspace_two_level_node));
89         cspace->second_levels[index] = NULL;
92     cspace->second_levels[index]->count = 0;
108     cspace->second_levels = (struct cspace_two_level_node **)allocman_mspace_alloc(alloc,
115         allocman_mspace_free(alloc, cspace->second_levels,
120         cspace->second_levels[i] = NULL;
155     if (!cspace->second_levels[l1slot]) {
166     error = _cspace_single_level_alloc_at(alloc, &cspace->second_levels[l1slot]->second_level, (seL4_CPtr) l2slot);
170     cspace->second_levels[l1slot]->count++;
188         if (cspace->second_levels[i] && cspace->second_levels[i]->count < MASK(cspace->config.level_two_bits)) {
209     error = _cspace_single_level_alloc(alloc, &cspace->second_levels[i]->second_level, &level2_slot);
215     cspace->second_levels[i]->count++;
223     cspace_single_level_destroy(alloc, &cspace->second_levels[index]->second_level);
224     if (cspace->second_levels[index]->cookie_valid) {
228         allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
230     allocman_mspace_free(alloc, cspace->second_levels[index], sizeof(struct cspace_two_level_node));
244     path = _cspace_single_level_make_path(&cspace->second_levels[l1slot]->second_level, l2slot);
245     _cspace_single_level_free(alloc, &cspace->second_levels[l1slot]->second_level, &path);
246     cspace->second_levels[l1slot]->count--;
247     if (cspace->second_levels[l1slot]->count == 0) {
249         cspace->second_levels[l1slot] = NULL;
257         if (cspace->second_levels[i]) {
261     allocman_mspace_free(alloc, cspace->second_levels,