Searched refs:vtd_domain_remove_device (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/acpi/ |
| H A D | intel_vtd.h | 52 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int func, struct capref pml4);
|
| H A D | intel_vtd.c | 213 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int func, struct capref pml4) function
297 err = vtd_domain_remove_device(seg, bus, dev, func, identity_domain->pml4);
|
Completed in 84 milliseconds