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

/barrelfish-master/include/driverkit/
H A Ddriverkit.h84 errval_t driverkit_get_iommu_cap(struct bfdriver_instance *bfi, struct capref *cap);
/barrelfish-master/lib/driverkit/
H A Dmodules.c268 errval_t driverkit_get_iommu_cap(struct bfdriver_instance *bfi, struct capref *cap) function
/barrelfish-master/usr/drivers/ioat_dma/
H A Dmod_ioat.c317 err = driverkit_get_iommu_cap(bfi, &iommuep);
/barrelfish-master/usr/drivers/xeon_phi/
H A Dmod_knc.c137 err = driverkit_get_iommu_cap(bfi, &iommuep);
/barrelfish-master/usr/drivers/e1000/
H A De1000n.c408 err_out = driverkit_get_iommu_cap(driver->bfi, iommu);
/barrelfish-master/usr/drivers/e10k/
H A De10k_cdriver.c1870 err = driverkit_get_iommu_cap(bfi, &devcap);
/barrelfish-master/usr/drivers/solarflare/
H A Dsfn5122f_cdriver.c1815 err = driverkit_get_iommu_cap(bfi, &devcap);

Completed in 235 milliseconds