| /barrelfish-master/usr/init/ |
| H A D | spawn.c | 47 dest.cnode = si->taskcn;
67 dest.cnode = si->taskcn;
77 dest.cnode = si->taskcn;
87 dest.cnode = si->taskcn;
117 dest.cnode = si->taskcn;
128 dest.cnode = si->taskcn;
140 dest.cnode = si->taskcn;
149 dest.cnode = si->taskcn;
|
| H A D | init.c | 213 cap_dest.cnode = monitor_si.taskcn;
221 cap_dest.cnode = mem_serv_si.taskcn;
|
| /barrelfish-master/lib/trace/ |
| H A D | trace.c | 29 * This function creates a cap for the tracing buffer in taskcn.
83 errval_t trace_setup_child(struct cnoderef taskcn, argument
94 .cnode = taskcn,
|
| /barrelfish-master/kernel/ |
| H A D | startup.c | 173 st->taskcn = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_TASKCN);
176 st->taskcn);
243 struct cte *init_dcb_cte = caps_locate_slot(CNODE(st->taskcn),
252 err = caps_copy_to_cnode(st->taskcn, TASKCN_SLOT_ROOTCN, rootcn, 0, 0, 0);
256 struct cte *init_dispframe_cte = caps_locate_slot(CNODE(st->taskcn),
270 struct cte *init_args_cte = caps_locate_slot(CNODE(st->taskcn),
282 struct cte *bootinfo_cte = caps_locate_slot(CNODE(st->taskcn),
293 struct cte *kernelcap_cte = caps_locate_slot(CNODE(st->taskcn),
299 struct cte *perfmoncap_cte = caps_locate_slot(CNODE(st->taskcn),
306 caps_locate_slot(CNODE(st->taskcn), TASKCN_SLOT_IR
[all...] |
| H A D | syscall.c | 653 struct cte *taskcn = caps_locate_slot(get_address(&newroot->cap), local
655 struct cte *rootcn_cap = caps_locate_slot(get_address(&taskcn->cap),
|
| /barrelfish-master/kernel/include/ |
| H A D | startup.h | 25 struct cte *taskcn, *segcn, *supercn, *physaddrcn, *modulecn, member in struct:spawn_state
|
| /barrelfish-master/usr/monitor/ |
| H A D | spawn.c | 43 dest.cnode = si->taskcn;
55 dest.cnode = si->taskcn,
75 dest.cnode = si->taskcn;
88 dest.cnode = si->taskcn;
100 dest.cnode = si->taskcn;
109 dest.cnode = si->taskcn;
117 dest.cnode = si->taskcn;
|
| H A D | monitor_server.c | 1019 .cnode = si->taskcn,
1031 dest.cnode = si->taskcn;
|
| /barrelfish-master/lib/spawndomain/ |
| H A D | spawn.c | 47 /* Create taskcn */
48 err = cnode_create_foreign_l2(si->rootcn_cap, ROOTCN_SLOT_TASKCN, &si->taskcn);
81 // Copy DCB to new taskcn
82 t1.cnode = si->taskcn;
89 // Give domain endpoint to itself (in taskcn)
91 .cnode = si->taskcn,
100 // Map root CNode (in taskcn)
101 t1.cnode = si->taskcn;
110 err = trace_setup_child(si->taskcn, si->handle);
333 /* Create dispatcher frame (in taskcn) */
[all...] |
| /barrelfish-master/kernel/arch/k1om/ |
| H A D | startup_arch.c | 379 struct cte *iocap = caps_locate_slot(CNODE(st->taskcn), TASKCN_SLOT_SYSMEM);
388 struct cte *mmiocap = caps_locate_slot(CNODE(st->taskcn), TASKCN_SLOT_IO);
394 struct cte *coreboot = caps_locate_slot(CNODE(st->taskcn), TASKCN_SLOT_COREBOOT);
514 struct cte *urpc_frame_cte = caps_locate_slot(CNODE(spawn_state.taskcn),
|
| /barrelfish-master/include/spawndomain/ |
| H A D | spawndomain.h | 28 struct cnoderef taskcn __attribute__ ((aligned(4))); member in struct:spawninfo
|
| /barrelfish-master/usr/spawnd/ |
| H A D | service.c | 122 .cnode = si.taskcn,
141 dest.cnode = si.taskcn;
152 dest.cnode = si.taskcn;
476 .cnode = si.taskcn,
495 dest.cnode = si.taskcn;
506 dest.cnode = si.taskcn;
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | vmkitmon.c | 119 .cnode = si.taskcn,
138 dest.cnode = si.taskcn;
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | startup_arch.c | 381 struct cte *iocap = caps_locate_slot(CNODE(st->taskcn), TASKCN_SLOT_IO);
494 struct cte *urpc_frame_cte = caps_locate_slot(CNODE(spawn_state.taskcn),
|
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | startup_arch.c | 488 caps_locate_slot(CNODE(spawn_state.taskcn), TASKCN_SLOT_IO);
598 caps_locate_slot(CNODE(spawn_state.taskcn), TASKCN_SLOT_MON_URPC);
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | startup_arch.c | 439 struct cte *iocap = caps_locate_slot(CNODE(st->taskcn), TASKCN_SLOT_IO);
572 struct cte *urpc_frame_cte = caps_locate_slot(CNODE(spawn_state.taskcn),
|
| /barrelfish-master/include/trace/ |
| H A D | trace.h | 228 errval_t trace_setup_child(struct cnoderef taskcn,
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | startup_arch.c | 654 struct cte *urpc_frame_cte = caps_locate_slot(CNODE(spawn_state.taskcn),
|
| /barrelfish-master/doc/019-device-drivers/ |
| H A D | DeviceDriver.tex | 574 struct cte *iocap = caps_locate_slot(CNODE(spawn_state.taskcn), TASKCN_SLOT_IO);
604 dest.cnode = si->taskcn;
|