Lines Matching refs:taskcn
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_IRQ));
310 struct cte *ipicap_cte = caps_locate_slot(CNODE(st->taskcn),
316 struct cte *procmngcap_cte = caps_locate_slot(CNODE(st->taskcn),