Searched defs:irq_idx (Results 1 - 3 of 3) sorted by relevance
| /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
95 errval_t int_route_client_route_and_connect(struct capref intsrc, int irq_idx, argument
|
| /barrelfish-2018-10-04/lib/int_route/server/ |
| H A D | init.c | 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 | 123 errval_t pci_setup_int_routing(int irq_idx, interrupt_handler_fn handler, argument
148 errval_t pci_setup_int_routing_with_cap(int irq_idx, argument
|
Completed in 39 milliseconds