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

/barrelfish-master/include/driverkit/
H A Ddriverkit.h83 errval_t driverkit_get_interrupt_cap(struct bfdriver_instance *bfi, struct capref *cap);
/barrelfish-master/lib/driverkit/
H A Dmodules.c263 errval_t driverkit_get_interrupt_cap(struct bfdriver_instance *bfi, struct capref *cap) function
/barrelfish-master/usr/drivers/e1000/
H A De1000n.c286 err = driverkit_get_interrupt_cap(device->bfi, &intcap);
402 errval_t err_out = driverkit_get_interrupt_cap(driver->bfi, irq);
/barrelfish-master/usr/drivers/e10k/
H A De10k_cdriver.c1484 *err = driverkit_get_interrupt_cap(st->bfi, irq);
1900 err = driverkit_get_interrupt_cap(bfi, &intcap);
/barrelfish-master/usr/drivers/solarflare/
H A Dsfn5122f_cdriver.c848 err = driverkit_get_interrupt_cap(st->bfi, &intcap);

Completed in 186 milliseconds