Searched refs:second_levels (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | 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[inde
[all...] |
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | 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[inde
[all...] |
| /seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
| H A D | two_level.h | 65 struct cspace_two_level_node **second_levels; member in struct:cspace_two_level
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | two_level.h | 65 struct cspace_two_level_node **second_levels; member in struct:cspace_two_level
|
Completed in 79 milliseconds