Lines Matching refs:dest_cap
1682 struct capability *dest_cap = &dest_cte->cap;
1683 dest_cap->u.endpoint.listener = src_cap->u.dispatcher.dcb;
1778 struct capability *dest_cap = &dest_cte->cap;
1791 /* Insert #source_cap into #dest_cap */
1792 err = set_cap(dest_cap, src_cap);
1828 dest_cap->u.endpoint.listener->disp == NULL ||
1831 (1UL << dest_cap->u.endpoint.listener->disp_cte.cap.u.frame.bits)) {
1837 dest_cap->u.endpoint.epoffset = param1;
1838 dest_cap->u.endpoint.epbuflen = param2;
1843 dest_cap->u.io.start = param1;
1846 dest_cap->u.io.end = param2;