Lines Matching defs:irq_src_cap
95 static errval_t check_src_capability(struct capref irq_src_cap){
98 err = debug_cap_identify(irq_src_cap, &irq_src_cap_data);
127 struct capref irq_src_cap;
128 irq_src_cap.cnode = build_cnoderef(cap_argcn, CNODE_TYPE_OTHER);
129 irq_src_cap.slot = PCIARG_SLOT_INT;
131 return pci_setup_int_routing_with_cap(irq_idx, irq_src_cap, handler,
149 struct capref irq_src_cap,
157 err = check_src_capability(irq_src_cap);
165 err = invoke_irqsrc_get_vec_start(irq_src_cap, &gsi);
188 err = int_route_client_route(irq_src_cap, irq_idx, irq_dest_cap);