src/cspace/two_level.c

23     size_t l1slot, l2slot;
25     l1slot = slot >> cspace->config.level_two_bits;
30     if (!cspace->second_levels[l1slot]) {
36     l1_path = _cspace_single_level_make_path(&cspace->first_level, l1slot);
37     l2_path = _cspace_single_level_make_path(&cspace->second_levels[l1slot]->second_level, l2slot);
50     path->cnode = l1slot;
149     size_t l1slot;
152     l1slot = slot >> cspace->config.level_two_bits;
155     if (!cspace->second_levels[l1slot]) {
156         error = _cspace_single_level_alloc_at(alloc, &cspace->first_level, l1slot);
160         error = _create_second_level(alloc, cspace, l1slot, 1);
166     error = _cspace_single_level_alloc_at(alloc, &cspace->second_levels[l1slot]->second_level, (seL4_CPtr) l2slot);
170     cspace->second_levels[l1slot]->count++;
196         cspacepath_t l1slot;
197         error = _cspace_single_level_alloc(alloc, &cspace->first_level, &l1slot);
203         error = _create_second_level(alloc, cspace, l1slot.offset, 1);
237     size_t l1slot;
242     l1slot = cptr >> cspace->config.level_two_bits;
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) {
248         _destroy_second_level(alloc, cspace, l1slot);
249         cspace->second_levels[l1slot] = NULL;