Searched refs:vtd_domain_remove_device (Results 1 - 5 of 5) sorted by relevance
/barrelfish-2018-10-04/include/acpi_client/ |
H A D | acpi_client.h | 41 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int funct, struct capref pt_addr);
|
/barrelfish-2018-10-04/usr/acpi/arch/x86/ |
H A D | acpi_service_arch.c | 64 err = vtd_domain_remove_device(seg, bus, dev, func, pml4);
|
/barrelfish-2018-10-04/lib/acpi_client/ |
H A D | acpi_client.c | 107 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int func, struct capref pml4) function
|
/barrelfish-2018-10-04/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 108 milliseconds