/seL4-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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,
|
/seL4-refos-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,
|