Searched refs:vtd_domain_add_device (Results 1 - 12 of 12) sorted by relevance
| /barrelfish-2018-10-04/include/acpi_client/ |
| H A D | acpi_client.h | 40 errval_t vtd_domain_add_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 | 55 err = vtd_domain_add_device(seg, bus, dev, func, pml4);
|
| /barrelfish-2018-10-04/lib/acpi_client/ |
| H A D | acpi_client.c | 99 errval_t vtd_domain_add_device(int seg, int bus, int dev, int func, struct capref pml4) function
|
| /barrelfish-2018-10-04/usr/acpi/ |
| H A D | intel_vtd.c | 264 errval_t vtd_domain_add_device(int seg, int bus, int dev, int func, struct capref pml4) function
558 err = vtd_domain_add_device(seg, bus, dev, func, identity_domain->pml4);
783 err = vtd_domain_add_device(0, bus, dev, func, identity_domain->pml4);
800 err = vtd_domain_add_device(0, bus, dev, func, identity_domain->pml4);
804 err = vtd_domain_add_device(0, bus, dev, func, identity_domain->pml4);
|
| H A D | intel_vtd.h | 53 errval_t vtd_domain_add_device(int seg, int bus, int dev, int func, struct capref pml4);
|
| /barrelfish-2018-10-04/lib/devif/backends/net/e10k/ |
| H A D | e10k_devif_vf.c | 594 err = vtd_domain_add_device(seg, bus, dev, pci_function, cap_vroot);
|
| /barrelfish-2018-10-04/usr/tests/e10ktest/ |
| H A D | e10ktest.c | 602 err = vtd_domain_add_device(0, 13, 16, 1, cap_vroot);
|
| H A D | subways.c | 880 err = vtd_domain_add_device(0, 16, 16, 1, cap_vroot);
|
| /barrelfish-2018-10-04/usr/drivers/e10k/ |
| H A D | e10k_vf.c | 932 err = vtd_domain_add_device(0, 7, 16, 0, cap_vroot);
|
| H A D | e10k_cdriver.c | 2054 err = vtd_domain_add_device(0, bus, device, function, cap_vroot);
|
| /barrelfish-2018-10-04/usr/drivers/megaraid/ |
| H A D | megaraid.c | 1425 err = vtd_domain_add_device(0, 9, 0, 0, cap_vroot);
|
| /barrelfish-2018-10-04/lib/arranet/ |
| H A D | arranet.c | 2832 err = vtd_domain_add_device(0, 13, 16, 1, cap_vroot);
|
Completed in 110 milliseconds