| /seL4-l4v-master/seL4/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-l4v-master/seL4/include/ |
| H A D | object.h | 12 #include <object/cnode.h>
|
| /seL4-l4v-master/seL4/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-l4v-master/seL4/include/arch/arm/arch/object/ |
| H A D | objecttype.h | 13 #include <object/cnode.h>
|
| /seL4-l4v-master/seL4/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>
|
| H A D | tcb.h | 14 #include <object/cnode.h>
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/object/ |
| H A D | objecttype.h | 13 #include <object/cnode.h>
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/object/ |
| H A D | objecttype.h | 13 #include <object/cnode.h>
|
| /seL4-l4v-master/seL4/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 | cnode.c | 16 #include <object/cnode.h>
896 cap_t cnode; local
909 cnode = luc_ret.cap;
911 lus_ret = lookupTargetSlot(cnode, ct.ctReceiveIndex, ct.ctReceiveDepth);
|
| H A D | interrupt.c | 15 #include <object/cnode.h>
|
| 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-l4v-master/seL4/include/kernel/ |
| H A D | boot.h | 114 pptr_t cnode; member in struct:__anon156
|
| /seL4-l4v-master/seL4/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-l4v-master/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 14 #include <object/cnode.h>
|
| /seL4-l4v-master/seL4/manual/parts/ |
| H A D | cspace.tex | 74 \label{sec:cnode-ops}
265 moving the capability pointing to the found CNode into the found cnode
267 found cnode, and then trying to delete the swapped capability
|
| /seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 20 #include <object/cnode.h>
|
| /seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 19 #include <object/cnode.h>
|
| /seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 19 #include <object/cnode.h>
|