Searched refs:first_slot (Results 1 - 8 of 8) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 21 .config = config, .current_slot = config.first_slot
|
| H A D | single_level.c | 28 num_slots = cspace->config.end_slot - cspace->config.first_slot;
76 *slot = _cspace_single_level_make_path(cspace, cspace->config.first_slot + (i * BITS_PER_WORD + index));
82 size_t index = slot - cspace->config.first_slot;
99 size_t index = slot->capPtr - cspace->config.first_slot;
|
| H A D | two_level.c | 64 .first_slot = 0,
104 .first_slot = config.first_slot,
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | simple1level.h | 30 size_t first_slot; member in struct:cspace_simple1level_config
|
| H A D | single_level.h | 28 size_t first_slot; member in struct:cspace_single_level_config
|
| H A D | two_level.h | 28 size_t first_slot; member in struct:cspace_two_level_config
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 92 .first_slot = bi->empty.start,
155 .first_slot = bi->empty.start,
223 .first_slot = bi->empty.start,
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 124 .first_slot = bi->empty.start,
422 .first_slot = start_free_index,
480 .first_slot = simple_last_valid_cap(bs->simple) + 1,
614 .first_slot = 0,
1185 .first_slot = simple_last_valid_cap(simple) + 1,
|
Completed in 43 milliseconds