Lines Matching defs:endpoint
357 * Sends an interrupt notification IDC to a local endpoint that
388 // Otherwise, cap needs to be an endpoint
394 get_dispatcher_shared_generic(cap->u.endpoint.listener->disp);
408 dispatch(cap->u.endpoint.listener);
513 struct cte *endpoint;
515 // Lookup & check message endpoint cap
517 CPTR_BITS, &endpoint, CAPRIGHTS_WRITE);
522 assert(endpoint != NULL);
524 // Return w/error if cap is not an endpoint
525 if(endpoint->cap.type != ObjType_EndPoint) {
529 // Return w/error if no listener on endpoint
530 if(endpoint->cap.u.endpoint.listener == NULL) {
542 endpoint,0,0,0);
551 errval_t irq_table_set(unsigned int nidt, capaddr_t endpoint)
574 get_dispatcher_shared_generic(cap->u.endpoint.listener->disp);