| /* SPDX-License-Identifier: GPL-2.0-or-later */ |
| |
| #include <device/device.h> |
| #include <device/pci.h> |
| #include <device/pci_ids.h> |
| |
| static const unsigned short pci_device_ids[] = { |
| PCI_DEVICE_ID_INTEL_TGL_TBT_DMA0, |
| PCI_DEVICE_ID_INTEL_TGL_TBT_DMA1, |
| 0 |
| }; |
| |
| static struct device_operations usb4_dev_ops = { |
| .read_resources = pci_dev_read_resources, |
| .set_resources = pci_dev_set_resources, |
| .enable_resources = pci_dev_enable_resources, |
| .scan_bus = scan_generic_bus, |
| .ops_pci = &pci_dev_ops_pci, |
| }; |
| |
| static const struct pci_driver usb4_driver __pci_driver = { |
| .ops = &usb4_dev_ops, |
| .vendor = PCI_VENDOR_ID_INTEL, |
| .devices = pci_device_ids, |
| }; |