| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 29 if (cspace->current_slot == cspace->config.end_slot) {
|
| H A D | two_level.c | 65 .end_slot = BIT(cspace->config.level_two_bits)
105 .end_slot = config.end_slot
|
| H A D | single_level.c | 28 num_slots = cspace->config.end_slot - cspace->config.first_slot;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 29 if (cspace->current_slot == cspace->config.end_slot) {
|
| H A D | two_level.c | 65 .end_slot = BIT(cspace->config.level_two_bits)
105 .end_slot = config.end_slot
|
| H A D | single_level.c | 28 num_slots = cspace->config.end_slot - cspace->config.first_slot;
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
| H A D | simple1level.h | 32 size_t end_slot; member in struct:cspace_simple1level_config
|
| H A D | single_level.h | 30 size_t end_slot; member in struct:cspace_single_level_config
|
| H A D | two_level.h | 30 size_t end_slot; member in struct:cspace_two_level_config
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | simple1level.h | 32 size_t end_slot; member in struct:cspace_simple1level_config
|
| H A D | single_level.h | 30 size_t end_slot; member in struct:cspace_single_level_config
|
| H A D | two_level.h | 30 size_t end_slot; member in struct:cspace_two_level_config
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 93 .end_slot = bi->empty.end
156 .end_slot = bi->empty.end - 1
224 .end_slot = bi->empty.end - 1
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 93 .end_slot = bi->empty.end
156 .end_slot = bi->empty.end - 1
224 .end_slot = bi->empty.end - 1
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/ |
| H A D | bootstrap.h | 201 * @param end_slot Last free slot + 1 in the current cspace
207 allocman_t *bootstrap_use_current_1level(seL4_CPtr root_cnode, size_t cnode_size, seL4_CPtr start_slot, seL4_CPtr end_slot, size_t pool_size, void *pool);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | bootstrap.h | 201 * @param end_slot Last free slot + 1 in the current cspace
207 allocman_t *bootstrap_use_current_1level(seL4_CPtr root_cnode, size_t cnode_size, seL4_CPtr start_slot, seL4_CPtr end_slot, size_t pool_size, void *pool);
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 125 .end_slot = bi->empty.end - 1
423 .end_slot = end_free_index
481 .end_slot = BIT(size) - 2u}); // subtract 2 as the last slot is occupied
615 .end_slot = BIT(l1size),
743 allocman_t *bootstrap_use_current_1level(seL4_CPtr root_cnode, size_t cnode_size, seL4_CPtr start_slot, seL4_CPtr end_slot, size_t pool_size, void *pool) { argument
754 error = bootstrap_use_current_1level_cspace(info, root_cnode, cnode_size, start_slot, end_slot);
1186 .end_slot = BIT(simple_get_cnode_size_bits(simple))
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 125 .end_slot = bi->empty.end - 1
423 .end_slot = end_free_index
481 .end_slot = BIT(size) - 2u}); // subtract 2 as the last slot is occupied
615 .end_slot = BIT(l1size),
743 allocman_t *bootstrap_use_current_1level(seL4_CPtr root_cnode, size_t cnode_size, seL4_CPtr start_slot, seL4_CPtr end_slot, size_t pool_size, void *pool) { argument
754 error = bootstrap_use_current_1level_cspace(info, root_cnode, cnode_size, start_slot, end_slot);
1186 .end_slot = BIT(simple_get_cnode_size_bits(simple))
|