/seL4-refos-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-refos-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-refos-master/libs/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-refos-master/libs/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-refos-master/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-refos-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-refos-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-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | constants.h | 62 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | constants.h | 21 #define seL4_WordBits 64 macro
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | constants.h | 21 #define seL4_WordBits 64 macro
|
/seL4-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/file_server/src/ |
H A D | pager.c | 94 seL4_CNode_Delete(REFOS_CSPACE, fb->dataspace, seL4_WordBits);
|
/seL4-refos-master/apps/file_server/src/ |
H A D | pager.c | 94 seL4_CNode_Delete(REFOS_CSPACE, fb->dataspace, seL4_WordBits);
|
/seL4-refos-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-refos-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-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | constants.h | 229 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | constants.h | 229 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
|
/seL4-refos-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-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | constants.h | 232 #define seL4_WordBits (sizeof(seL4_Word) * 8) macro
|
/seL4-refos-master/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));
|