Lines Matching defs:cap
42 err = caps_lookup_slot(&dcb_current->cspace.cap, endpoint,
50 // Return w/error if cap is not an endpoint
51 if (recv->cap.type != ObjType_EndPoint) {
56 if (recv->cap.u.endpoint.listener == NULL) {
62 if (irq_dispatch[nidt].cap.type != ObjType_Null) {
93 irq_dispatch[nidt].cap.type = ObjType_Null;
106 if (kcb->irq_dispatch[i].cap.type == ObjType_EndPoint) {
107 struct capability *cap = &kcb->irq_dispatch[i].cap;
109 errval_t err = lmp_deliver_payload(cap, NULL, msg, 1, false, false);
113 get_dispatcher_shared_generic(cap->u.endpoint.listener->disp);
121 kcb->irq_dispatch[i].cap.type = ObjType_Null;
137 struct capability *cap = &irq_dispatch[irq].cap;
139 // Return on null cap (unhandled interrupt)
140 if (cap->type == ObjType_Null) {
145 // Otherwise, cap needs to be an endpoint
146 assert(cap->type == ObjType_EndPoint);
147 errval_t err = lmp_deliver_notification(cap);
152 cap->u.endpoint.listener->disp);
166 dispatch(cap->u.endpoint.listener);