/seL4-camkes-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | types.h | 13 #define seL4_WordBits 32 macro
|
H A D | constants.h | 14 #define seL4_WordBits 32 macro
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
H A D | types.h | 12 #define seL4_WordBits 64 macro
|
H A D | constants.h | 14 #define seL4_WordBits 64 macro
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 38 seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights); 41 error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights); 45 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits); 49 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits); 65 path->capDepth = seL4_WordBits; 69 path->destDepth = seL4_WordBits;
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | constants.h | 62 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | constants.h | 21 #define seL4_WordBits 64 macro
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
H A D | example_bootstrap.c | 91 .cnode_guard_bits = seL4_WordBits - bi->initThreadCNodeSizeBits, 154 .cnode_guard_bits = seL4_WordBits - bi->initThreadCNodeSizeBits, 222 .cnode_guard_bits = seL4_WordBits - bi->initThreadCNodeSizeBits,
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | constants.h | 229 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | constants.h | 229 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | constants.h | 232 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 139 seL4_Word data = api_make_guard_skip_word(seL4_WordBits - simple_get_cnode_size_bits(simple));
|
/seL4-camkes-master/kernel/src/arch/x86/machine/ |
H A D | hardware.c | 73 assert(size_bits < seL4_WordBits);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | boot.c | 48 vm->cspace.cspace_root_data = api_make_guard_skip_word(seL4_WordBits - VM_CSPACE_SIZE_BITS);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 123 .cnode_guard_bits = seL4_WordBits - bi->initThreadCNodeSizeBits, 421 .cnode_guard_bits = seL4_WordBits - size_bits, 450 seL4_AllRights, api_make_guard_skip_word(seL4_WordBits - size)); 466 api_make_guard_skip_word(seL4_WordBits - size), 479 .cnode_guard_bits = seL4_WordBits - size, 561 seL4_AllRights, api_make_guard_skip_word(seL4_WordBits - l1size - l2size)); 600 api_make_guard_skip_word(seL4_WordBits - l1size - l2size), 613 .cnode_guard_bits = seL4_WordBits - l1size - l2size, 969 size_t next_size_bits = seL4_WordBits - 1 - CLZL((long)next_size); 1184 .cnode_guard_bits = seL4_WordBits [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 204 size_t total_size_bits = seL4_WordBits - CLZL(total_size);
|
H A D | process.c | 507 seL4_Word cspace_root_data = api_make_guard_skip_word(seL4_WordBits - config.one_level_cspace_size_bits);
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ |
H A D | gdb.c | 433 "%0*x", seL4_WordBits / 4, BSWAP_WORD(value)); 469 sprintf(data, "%0*x", seL4_WordBits / 4, BSWAP_WORD(reg));
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | two_level.c | 226 seL4_WordBits - cspace->config.level_two_bits);
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
H A D | capdl.h | 105 seL4_WordBits - 18;
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | boot.c | 305 word_t msb = seL4_WordBits - 1 - clzl_ret; 596 size_bits = seL4_WordBits - 1 - clzl(reg.end - reg.start);
|
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 168 int index = seL4_WordBits - 1 - clzl(bits);
|