1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <device/device.h>
4 #include <device/pci.h>
5 #include <console/console.h>
6 #include <device/cardbus.h>
8 static void pcixx12_init(struct device
*dev
)
10 /* cardbus controller function 1 for CF Socket */
11 printk(BIOS_DEBUG
, "TI PCIxx12 init\n");
14 static void pcixx12_read_resources(struct device
*dev
)
16 cardbus_read_resources(dev
);
19 static void pcixx12_set_resources(struct device
*dev
)
21 printk(BIOS_DEBUG
, "%s In set resources\n",dev_path(dev
));
23 pci_dev_set_resources(dev
);
25 printk(BIOS_DEBUG
, "%s done set resources\n",dev_path(dev
));
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
,
33 .scan_bus
= pci_scan_bridge
,
36 static const struct pci_driver ti_pcixx12_driver __pci_driver
= {
37 .ops
= &ti_pcixx12_ops
,