1 /* SPDX-License-Identifier: GPL-2.0-only */
2
3 #include <device/device.h>
4 #include <device/pci.h>
5 #include <console/console.h>
6 #include <device/cardbus.h>
7
pcixx12_init(struct device * dev)8 static void pcixx12_init(struct device *dev)
9 {
10 /* cardbus controller function 1 for CF Socket */
11 printk(BIOS_DEBUG, "TI PCIxx12 init\n");
12 }
13
pcixx12_read_resources(struct device * dev)14 static void pcixx12_read_resources(struct device *dev)
15 {
16 cardbus_read_resources(dev);
17 }
18
pcixx12_set_resources(struct device * dev)19 static void pcixx12_set_resources(struct device *dev)
20 {
21 printk(BIOS_DEBUG, "%s In set resources\n",dev_path(dev));
22
23 pci_dev_set_resources(dev);
24
25 printk(BIOS_DEBUG, "%s done set resources\n",dev_path(dev));
26 }
27
28 static struct device_operations ti_pcixx12_ops = {
29 .read_resources = pcixx12_read_resources,
30 .set_resources = pcixx12_set_resources,
31 .enable_resources = cardbus_enable_resources,
32 .init = pcixx12_init,
33 .scan_bus = pci_scan_bridge,
34 };
35
36 static const struct pci_driver ti_pcixx12_driver __pci_driver = {
37 .ops = &ti_pcixx12_ops,
38 .vendor = 0x104c,
39 .device = 0x8039,
40 };
41