/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 20 #include <object/cnode.h>
|
/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);
|
H A D | objecttype.c | 18 #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 D | endpoint.c | 15 #include <object/cnode.h>
|
H A D | tcb.c | 16 #include <object/cnode.h>
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 19 #include <object/cnode.h>
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 19 #include <object/cnode.h>
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 1841 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 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
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | boot.c | 172 /* 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 D | simple.h | 35 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 D | Object.py | 283 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 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/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/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/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/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/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/kernel/include/object/ |
H A D | tcb.h | 14 #include <object/cnode.h>
|
H A D | untyped.h | 14 #include <object/cnode.h>
|
H A D | objecttype.h | 11 #include <object/cnode.h>
|
H A D | cnode.h | 14 cte_t *cnode; member in struct:slot_range
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 14 #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/kernel/include/ |
H A D | object.h | 12 #include <object/cnode.h>
|