Searched refs:cnode (Results 1 - 25 of 43) sorted by relevance

12

/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c34 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 Dcapdl.h19 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 Dobject.h12 #include <object/cnode.h>
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dsimple1level.h23 /* 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 Dsingle_level.h21 /* 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 Dtwo_level.h21 /* 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 Dipc.c39 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 Dprocess_config.h42 /* 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 Dthread_config.h176 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 Dcapdl.c21 /* 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 DContext.py82 '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 Dobjecttype.h13 #include <object/cnode.h>
/seL4-camkes-master/kernel/include/object/
H A Duntyped.h14 #include <object/cnode.h>
H A Dcnode.h14 cte_t *cnode; member in struct:slot_range
H A Dobjecttype.h11 #include <object/cnode.h>
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dobjecttype.h13 #include <object/cnode.h>
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Dcapdl_linker.py59 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 Dexample_bootstrap.c89 .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 Dobjecttype.h13 #include <object/cnode.h>
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DAllocator.py204 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 Dtwo_level.c47 /* 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 Dsimple.h35 typedef seL4_Error(*simple_get_IRQ_handler_fn)(void *data, int irq, seL4_CNode cnode,
/seL4-camkes-master/kernel/src/object/
H A Duntyped.c16 #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 Dbootstrap.c48 /* 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 Dcomponent.simple.c35 /*- 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

Completed in 123 milliseconds

12