Searched defs:driverkit_get_iommu_cap (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/lib/driverkit/ | ||
| H A D | modules.c | 268 errval_t driverkit_get_iommu_cap(struct bfdriver_instance *bfi, struct capref *cap) function |
Completed in 39 milliseconds