Searched defs:vtd_add_device (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/usr/acpi/arch/x86/ | ||
| H A D | acpi_service_arch.c | 51 static void vtd_add_device(struct acpi_binding *b, uint32_t seg, uint32_t bus, function |
Completed in 29 milliseconds