Lines Matching refs:taskcn
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) */
334 si->dispframe.cnode = si->taskcn;
411 .cnode = si->taskcn,
509 si->argspg.cnode = si->taskcn;
675 si->taskcn, TASKCN_SLOT_FDSPAGE);
682 si->taskcn, TASKCN_SLOT_SESSIONID);
689 si->taskcn, TASKCN_SLOT_KERNELCAP);
1075 /* Copy dispatcher frame (in taskcn) */
1076 si->dispframe.cnode = si->taskcn;