| /seL4-refos-master/kernel/src/arch/arm/64/model/ |
| H A D | statedata.c | 116 cte_t smmuStateSIDNode[BIT(SMMU_SID_CNODE_SLOT_BITS)] ALIGN(BIT(SMMU_SID_CNODE_SLOT_BITS + seL4_SlotBits));
122 cte_t smmuStateCBNode[BIT(SMMU_CB_CNODE_SLOT_BITS)] ALIGN(BIT(SMMU_CB_CNODE_SLOT_BITS + seL4_SlotBits));
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
| H A D | utspace.h | 51 return size_bits - seL4_SlotBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | utspace.h | 51 return size_bits - seL4_SlotBits;
|
| /seL4-refos-master/libs/libsel4vka/include/vka/ |
| H A D | kobject_t.h | 54 return (seL4_SlotBits + objectSize);
|
| H A D | object.h | 319 return (seL4_SlotBits + objectSize);
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | kobject_t.h | 54 return (seL4_SlotBits + objectSize);
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | constants.h | 23 #define seL4_SlotBits 4 macro
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | constants.h | 23 #define seL4_SlotBits 4 macro
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| H A D | constants.h | 18 #define seL4_SlotBits 5 macro
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| H A D | constants.h | 18 #define seL4_SlotBits 4 macro
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| H A D | constants.h | 18 #define seL4_SlotBits 5 macro
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| H A D | constants.h | 18 #define seL4_SlotBits 4 macro
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | constants.h | 24 #define seL4_SlotBits 5 macro
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | constants.h | 24 #define seL4_SlotBits 5 macro
|
| /seL4-refos-master/kernel/include/object/ |
| H A D | structures.h | 87 #define TCB_CNODE_SIZE_BITS (TCB_CNODE_RADIX + seL4_SlotBits)
400 compile_assert(cte_size_sane, sizeof(cte_t) <= BIT(seL4_SlotBits))
444 return cap_cnode_cap_get_capCNodeRadix(cap) + seL4_SlotBits;
454 return ZombieType_ZombieCNode(type) + seL4_SlotBits;
|
| /seL4-refos-master/kernel/src/model/ |
| H A D | statedata.c | 80 cte_t intStateIRQNode[BIT(IRQ_CNODE_SLOT_BITS)] ALIGN(BIT(IRQ_CNODE_SLOT_BITS + seL4_SlotBits));
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 74 cspace->second_levels[index]->cookie = allocman_utspace_alloc(alloc, cspace->config.level_two_bits + seL4_SlotBits,
87 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
228 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
|
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 74 cspace->second_levels[index]->cookie = allocman_utspace_alloc(alloc, cspace->config.level_two_bits + seL4_SlotBits,
87 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
228 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | constants.h | 169 #define seL4_SlotBits 4 macro
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | constants.h | 169 #define seL4_SlotBits 4 macro
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | constants.h | 169 #define seL4_SlotBits 4 macro
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | constants.h | 169 #define seL4_SlotBits 4 macro
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | constants.h | 177 #define seL4_SlotBits 5 macro
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | constants.h | 177 #define seL4_SlotBits 5 macro
|
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | boot.c | 142 word_t cnode_size_bits = CONFIG_ROOT_CNODE_SIZE_BITS + seL4_SlotBits;
150 word_t size = BIT(CONFIG_ROOT_CNODE_SIZE_BITS + seL4_SlotBits);
173 word_t cnode_size_bits = CONFIG_ROOT_CNODE_SIZE_BITS + seL4_SlotBits;
183 #if (CONFIG_ROOT_CNODE_SIZE_BITS + seL4_SlotBits) > seL4_VSpaceBits
235 CONFIG_ROOT_CNODE_SIZE_BITS < 32 - seL4_SlotBits &&
237 BIT(CONFIG_ROOT_CNODE_SIZE_BITS) >= (seL4_PageBits - seL4_SlotBits))
|