Searched refs:cnode (Results 1 - 25 of 43) sorted by last modified time

12

/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c20 #include <object/cnode.h>
/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);
H A Dobjecttype.c18 #include <object/cnode.h>
608 insertNewCap(parent, &slots.cnode[slots.offset + i], cap);
733 userError("Cannot invoke cnode capabilities in the first phase of an invocation");
H A Dendpoint.c15 #include <object/cnode.h>
H A Dtcb.c16 #include <object/cnode.h>
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c19 #include <object/cnode.h>
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c19 #include <object/cnode.h>
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c1841 static void init_cnode(CDL_Model *spec, init_cnode_mode mode, CDL_ObjID cnode) argument
1843 CDL_Object *cdl_cnode = get_spec_object(spec, cnode);
1855 init_cnode_slot(spec, mode, cnode, CDL_Obj_GetSlot(cdl_cnode, slot_index));
/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
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c172 /* the largest object the PD, the root cnode, or the extra boot info */
182 /* the root cnode is at least 4k, so it could be larger or smaller than a pd. */
184 rootserver.cnode = alloc_rootserver_obj(cnode_size_bits, 1);
190 rootserver.cnode = alloc_rootserver_obj(cnode_size_bits, 1);
250 rootserver.cnode /* pptr */
254 write_slot(SLOT_PTR(rootserver.cnode, seL4_CapInitThreadCNode), cap);
/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/projects/capdl/python-capdl-tool/capdl/
H A DObject.py283 def calculate_size(cnode):
286 max_slot = max(cnode.slots.keys())
315 return '%s = cnode (%s bits)' % (self.name, self.get_slot_bits())
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/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/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/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/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/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/kernel/include/object/
H A Dtcb.h14 #include <object/cnode.h>
H A Duntyped.h14 #include <object/cnode.h>
H A Dobjecttype.h11 #include <object/cnode.h>
H A Dcnode.h14 cte_t *cnode; member in struct:slot_range
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c14 #include <object/cnode.h>
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dobjecttype.h13 #include <object/cnode.h>
/seL4-camkes-master/kernel/include/
H A Dobject.h12 #include <object/cnode.h>

Completed in 161 milliseconds

12