Lines Matching defs:cnode
32 /// Quick way to find the base address of a cnode capability
36 * \brief Create caps in 'cnode'
39 * and size 'size' and adds them to a cnode for the init task. The bootinfo is
55 struct capability *cnode;
64 cnode = &st->supercn->cap;
71 cnode = &st->physaddrcn->cap;
77 cnode = &st->segcn->cap;
85 if (*slot >= cnode_get_slots(cnode)) {
98 caps_locate_slot(get_address(cnode), (*slot)++));
134 /* Set up root cnode and the caps it contains */
151 /* create root cnode */
172 // Task cnode in root cnode
179 // Page cnode in root cnode
186 // Base page cnode in root cnode
193 // Super cnode in root cnode
200 // slot_alloc cnodes in root cnode. assumes SLOT_SLOT_ALLOC0,1,2 are
201 // consecutive slots in root cnode.
210 // Seg cnode in root cnode
217 // Physaddr cnode in root cnode
233 /* Managing caps in task cnode */
243 // Copy root cnode to task cnode
247 // Dispatcher frame in task cnode
262 // Argspage in task cnode
274 // Map bootinfo (in task cnode)
285 // Map kernel Cap in task cnode
297 // Map IRQ table in task cnode