Searched refs:irq_idx (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-2018-10-04/include/int_route/ |
| H A D | int_route_client.h | 24 errval_t int_route_client_route(struct capref intsrc, int irq_idx,
28 errval_t int_route_client_route_and_connect(struct capref intsrc, int irq_idx,
|
| /barrelfish-2018-10-04/lib/int_route/client/ |
| H A D | client.c | 48 errval_t int_route_client_route(struct capref intsrc, int irq_idx, argument
53 msgerr = cl->rpc_tx_vtbl.route(cl, intsrc, irq_idx, intdest, &err);
95 errval_t int_route_client_route_and_connect(struct capref intsrc, int irq_idx, argument
|
| /barrelfish-2018-10-04/include/pci/ |
| H A D | pci.h | 90 errval_t pci_setup_int_routing(int irq_idx, interrupt_handler_fn handler,
110 * @param irq_idx Interrupt cap index
116 uint16_t iomin, uint16_t iomax, int irq_idx,
166 errval_t pci_setup_int_routing_with_cap(int irq_idx,
|
| /barrelfish-2018-10-04/lib/int_route/server/ |
| H A D | init.c | 250 struct capref intsource, int irq_idx,
260 if(int_src_num + irq_idx > int_src_num_high || irq_idx < 0){
262 DEBUG_ERR(err, "irq_idx out of range");
249 driver_route_call(struct int_route_service_binding *b, struct capref intsource, int irq_idx, struct capref intdest) argument
|
| /barrelfish-2018-10-04/lib/pci/ |
| H A D | pci_client.c | 114 * The source capability contains a range of vectors, irq_idx is an offset into
123 errval_t pci_setup_int_routing(int irq_idx, interrupt_handler_fn handler, argument
131 return pci_setup_int_routing_with_cap(irq_idx, irq_src_cap, handler,
139 * The source capability contains a range of vectors, irq_idx is an offset into
148 errval_t pci_setup_int_routing_with_cap(int irq_idx, argument
188 err = int_route_client_route(irq_src_cap, irq_idx, irq_dest_cap);
|
Completed in 88 milliseconds