Lines Matching refs:cap
41 enum objtype type = cte->cap.type;
51 struct kcb *kcb = (struct kcb*) local_phys_to_mem(get_address(&cte->cap));
52 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&kcb->init_rootcn.cap));
53 struct cte *cn_task = (struct cte*) local_phys_to_mem(get_address(&cn[ROOTCN_SLOT_TASKCN].cap));
58 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&cte->cap));
62 if (cn[TASKCN_SLOT_DISPATCHER].cap.type == ObjType_Dispatcher) {
67 if (cn[ROOTCN_SLOT_TASKCN].cap.type == ObjType_L2CNode) {
68 struct cte *cn_task = (struct cte*) local_phys_to_mem(get_address(&cn[ROOTCN_SLOT_TASKCN].cap));
70 if (cn_task[TASKCN_SLOT_DISPATCHER].cap.type == ObjType_Dispatcher) {
89 printk(LOG_ERR, "Type of cap: %d, kernel address %p, phys. address 0x%"PRIxLPADDR"\n", cte->cap.type, cte, mem_to_local_phys((lvaddr_t) cte));
96 assert(result->cap.type == ObjType_L1CNode ||
97 result->cap.type == ObjType_L2CNode ||
98 result->cap.type == ObjType_Dispatcher ||
99 result->cap.type == ObjType_KernelControlBlock);
106 printk(LOG_ERR, "Type of cap: %d\n", cte->cap.type);
112 assert(dispatcher->cap.type == ObjType_Dispatcher);
114 struct dcb *dcb = dispatcher->cap.u.dispatcher.dcb;
121 sprint_cap(buffer, 256, &cte->cap);
128 /* Create a src cap for one specific interrupt. vec_start = vec_end = gsi */
136 out_cap.cap.type = ObjType_IRQSrc;
137 out_cap.cap.u.irqsrc.vec_start = start;
138 out_cap.cap.u.irqsrc.vec_end = end;
141 err = caps_lookup_slot(&dcb_current->cspace.cap, dcn, dcn_level, &cn,