/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 34 seL4_CNode cnode = simple_get_cnode(simple); local 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);
|
/seL4-camkes-master/kernel/include/machine/ |
H A D | capdl.h | 19 void obj_tcb_print_cnodes(cap_t cnode, tcb_t *tcb); 27 void obj_cnode_print_attrs(cap_t cnode); 37 void cap_cnode_print_attrs(cap_t cnode);
|
/seL4-camkes-master/kernel/include/ |
H A D | object.h | 12 #include <object/cnode.h>
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | simple1level.h | 23 /* A cptr to the cnode that we are managing slots in */ 24 seL4_CPtr cnode; member in struct:cspace_simple1level_config 25 /* Size in bits of the cnode */ 44 .root = cspace->config.cnode,
|
H A D | single_level.h | 21 /* A cptr to the cnode that we are managing slots in */ 22 seL4_CPtr cnode; member in struct:cspace_single_level_config 23 /* Size in bits of the cnode */ 53 .root = cspace->config.cnode,
|
H A D | two_level.h | 21 /* A cptr to the first level cnode that we are managing slots in */ 22 seL4_CPtr cnode; member in struct:cspace_two_level_config 23 /* Size in bits of the cnode */ 46 /* We count how many things we have allocated in each level two cnode. 52 /* Cookie representing the untyped object used to create the cnode for this
|
/seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
H A D | ipc.c | 39 seL4_CPtr cnode; local 40 memcpy(&cnode, a, sizeof(cnode)); 41 camkes_get_tls()->cnode_cap = cnode;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | process_config.h | 42 /* otherwise what is the root cnode ?*/ 45 vka_object_t cnode; member in struct:__anon50 106 static inline sel4utils_process_config_t process_config_cnode(sel4utils_process_config_t config, vka_object_t cnode) argument 109 config.cnode = cnode;
|
H A D | thread_config.h | 176 static inline sel4utils_thread_config_t thread_config_default(simple_t *simple, seL4_CPtr cnode, seL4_Word data, argument 180 config = thread_config_cspace(config, cnode, data);
|
/seL4-camkes-master/kernel/src/machine/ |
H A D | capdl.c | 21 /* seen list - check this array before we print cnode and vspace */ 22 /* TBD: This is to avoid traversing the same cnode. It should be applied to object 30 /* Won't work well if there're more than SEEN_SZ cnode */ 162 void obj_cnode_print_attrs(cap_t cnode) argument 164 printf("(%lu bits)\n", (long unsigned int)cap_cnode_cap_get_capCNodeRadix(cnode)); 167 void obj_tcb_print_cnodes(cap_t cnode, tcb_t *tcb) argument 169 if (seen(cnode)) { 172 add_to_seen(cnode); 173 printf("%p_cnode = cnode ", (void *)cap_cnode_cap_get_capCNodePtr(cnode)); 196 cap_cnode_print_attrs(cap_t cnode) argument [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 82 'my_cnode': None if cap_space is None else cap_space.cnode, 439 if not space.cnode[cap].read and kwargs.get('read', False): 440 space.cnode[cap].read = True 441 if not space.cnode[cap].write and kwargs.get('write', False): 442 space.cnode[cap].write = True 443 if not space.cnode[cap].grant and kwargs.get('grant', False): 444 space.cnode[cap].grant = True 445 if not space.cnode[cap].grantreply and kwargs.get('grantreply', False): 446 space.cnode[cap].grantreply = True 516 caps = [cap_space.cnode[slo [all...] |
/seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
H A D | objecttype.h | 13 #include <object/cnode.h>
|
/seL4-camkes-master/kernel/include/object/ |
H A D | untyped.h | 14 #include <object/cnode.h>
|
H A D | cnode.h | 14 cte_t *cnode; member in struct:slot_range
|
H A D | objecttype.h | 11 #include <object/cnode.h>
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/ |
H A D | objecttype.h | 13 #include <object/cnode.h>
|
/seL4-camkes-master/projects/capdl/cdl_utils/ |
H A D | capdl_linker.py | 59 for slot, v in cspace.cnode.slots.items(): 62 if 'cspace' in tcb and tcb['cspace'] and tcb['cspace'].referent is not cspace.cnode: 72 del cspace.cnode[slot] 73 cspace.cnode.finalise_size(arch=arch)
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
H A D | example_bootstrap.c | 89 .cnode = seL4_CapInitThreadCNode, 152 .cnode = seL4_CapInitThreadCNode, 176 boot_cspace.config.cnode = oldroot.capPtr; 220 .cnode = seL4_CapInitThreadCNode, 244 boot_cspace.config.cnode = oldroot.capPtr;
|
/seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
H A D | objecttype.h | 13 #include <object/cnode.h>
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | Allocator.py | 204 def __init__(self, cnode): 205 assert isinstance(cnode, CNode) 206 self.cnode = cnode 220 while self.slot in self.cnode.slots: 223 if self.cnode.size_bits != 'auto' and self.slot > (1 << self.cnode.size_bits) - 1: 245 self.cnode[slot] = cap
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | two_level.c | 47 /* path->root = cspace->config.cnode; 50 path->cnode = l1slot; 59 /* There is no cap at depth 32 to reference the cnode of this cspace, fortunately 61 .cnode = 0, 101 .cnode = config.cnode, 225 int UNUSED error = seL4_CNode_Delete(cspace->config.cnode, index,
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
H A D | simple.h | 35 typedef seL4_Error(*simple_get_IRQ_handler_fn)(void *data, int irq, seL4_CNode cnode,
|
/seL4-camkes-master/kernel/src/object/ |
H A D | untyped.c | 16 #include <object/cnode.h> 163 slots.cnode = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap)); 167 status = ensureEmptySlot(slots.cnode + i);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 48 /* a path to the current boot cnode */ 55 /* if we have switched cspaces, a patch to our old root cnode (based in the current cnode) */ 121 .cnode = root_cnode, 321 static int _retype_cnode(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t cnode, seL4_Word sel4_size) { argument 324 cnode.root, cnode.dest, cnode.destDepth, cnode.offset, 1); 410 static int bootstrap_use_current_1level_cspace(bootstrap_info_t *bs, seL4_CPtr cnode, size_ argument 502 seL4_CPtr cnode = simple_get_cnode(simple); local 540 bootstrap_new_2level_cspace(bootstrap_info_t *bs, size_t l1size, size_t l2size, seL4_CPtr cnode, seL4_CPtr old_cnode, size_t total_caps) argument [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.simple.c | 35 /*- set self_cnode = alloc_cap('cnode', my_cnode, write=true) -*/ 168 /*# No cap allocation from here on! We assume all caps exist so we can guess our cnode size from the 175 /*- if cap_space.cnode.size_bits == 'auto' -*/ 184 /*- set cnodesize = cap_space.cnode.size_bits -*/ 211 /*# untypeds + mmio +ioports + cnode + pd + iospaces + holding #*/ 395 static seL4_Error simple_camkes_get_irq(void *data, int irq, seL4_CNode cnode, seL4_Word index, uint8_t depth) { argument 400 return seL4_CNode_Copy(cnode, index, depth, /*? self_cnode ?*/, /*? cap ?*/, CONFIG_WORD_SIZE, seL4_AllRights); 487 /* Guess the size of our cnode by rounding */ 488 /*# If there is no size specified in the configuration then we assume the cnode
|