freebsd-skq/sys/dev/xen/pci
..
xen_acpi_pci.c
xen_pci.c