Searched refs:irq_cap (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/lib/pci/
H A Dpci_driver_client.c204 struct capref irq_cap; local
205 err = pcid_get_interrupt_cap(pdc, &irq_cap);
210 return pcid_connect_int_with_cap(irq_cap, int_index, handler, st);

Completed in 26 milliseconds