Searched refs:seL4_WordBits (Results 1 - 22 of 22) sorted by relevance

/seL4-camkes-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dtypes.h13 #define seL4_WordBits 32 macro
H A Dconstants.h14 #define seL4_WordBits 32 macro
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dtypes.h12 #define seL4_WordBits 64 macro
H A Dconstants.h14 #define seL4_WordBits 64 macro
/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c38 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 Dconstants.h62 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h21 #define seL4_WordBits 64 macro
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/
H A Dexample_bootstrap.c91 .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 Dconstants.h229 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h229 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h232 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dthread_config.h139 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 Dhardware.c73 assert(size_bits < seL4_WordBits);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dboot.c48 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 Dbootstrap.c123 .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 Dslab.c204 size_t total_size_bits = seL4_WordBits - CLZL(total_size);
H A Dprocess.c507 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 Dgdb.c433 "%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 Dtwo_level.c226 seL4_WordBits - cspace->config.level_two_bits);
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h105 seL4_WordBits - 18;
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c305 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 Dvcpu.c168 int index = seL4_WordBits - 1 - clzl(bits);

Completed in 124 milliseconds