Searched refs:irq_dest_cap (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-2018-10-04/lib/int_route/client/ |
| H A D | client.c | 100 struct capref irq_dest_cap; local
101 err = alloc_dest_irq_cap(&irq_dest_cap);
126 err = invoke_irqdest_connect(irq_dest_cap, epcap);
132 /* add route from int_src_cap to irq_dest_cap */
133 err = int_route_client_route(intsrc, 0, irq_dest_cap);
|
| /barrelfish-2018-10-04/lib/barrelfish/ |
| H A D | inthandler.c | 243 // Get irq_dest_cap from monitor
244 struct capref irq_dest_cap; local
245 err = alloc_dest_irq_cap(&irq_dest_cap);
262 err = invoke_irqdest_connect(irq_dest_cap, epcap);
268 err = invoke_irqdest_get_vector(irq_dest_cap, ret_vector);
|
| /barrelfish-2018-10-04/lib/pci/ |
| H A D | pci_client.c | 172 // Get irq_dest_cap from monitor
173 struct capref irq_dest_cap; local
174 err = alloc_dest_irq_cap(&irq_dest_cap);
180 err = invoke_irqdest_get_vector(irq_dest_cap, &irq_dest_vec);
188 err = int_route_client_route(irq_src_cap, irq_idx, irq_dest_cap);
197 err = inthandler_setup_movable_cap(irq_dest_cap, handler, handler_arg,
|
Completed in 47 milliseconds