1 /* This file is part of the coreboot project. */
2 /* SPDX-License-Identifier: GPL-2.0-or-later */
4 #include <device/device.h>
5 #include <device/pci.h>
6 #include <device/pci_ops.h>
7 #include <console/console.h>
8 #include <device/cardbus.h>
12 static void pci7420_firewire_init(struct device
*dev
)
14 printk(BIOS_DEBUG
, "TI PCI7420/7620 FireWire init\n");
17 /* This is a workaround for buggy kernels. This should
18 * probably be read from the device tree, but as long
19 * as only one mainboard is using this bridge it does
22 pci_write_config8(dev
, PCI_INTERRUPT_PIN
, INTC
);
26 static struct device_operations ti_pci7420_firewire_ops
= {
27 .read_resources
= pci_dev_read_resources
,
28 .set_resources
= pci_dev_set_resources
,
29 .enable_resources
= pci_dev_enable_resources
,
30 .init
= pci7420_firewire_init
,
33 static const struct pci_driver ti_pci7420_driver __pci_driver
= {
34 .ops
= &ti_pci7420_firewire_ops
,