Lines Matching refs:dev
28 __FBSDID("$FreeBSD: releng/11.0/sys/dev/xen/pci/xen_acpi_pci.c 297679 2016-04-07 17:15:16Z jhb $");
37 #include <contrib/dev/acpica/include/acpi.h>
38 #include <contrib/dev/acpica/include/accommon.h>
40 #include <dev/acpica/acpivar.h>
41 #include <dev/acpica/acpi_pcivar.h>
44 #include <dev/pci/pcireg.h>
45 #include <dev/pci/pcivar.h>
46 #include <dev/pci/pci_private.h>
56 xen_acpi_pci_probe(device_t dev)
61 if (acpi_get_handle(dev) == NULL)
64 device_set_desc(dev, "Xen ACPI PCI bus");
70 xen_acpi_pci_child_added(device_t dev, device_t child)
73 acpi_pci_child_added(dev, child);
74 xen_pci_child_added_method(dev, child);