aboutsummaryrefslogtreecommitdiff
path: root/src/drivers/dec/21143/21143.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/drivers/dec/21143/21143.c')
-rw-r--r--src/drivers/dec/21143/21143.c40
1 files changed, 0 insertions, 40 deletions
diff --git a/src/drivers/dec/21143/21143.c b/src/drivers/dec/21143/21143.c
deleted file mode 100644
index 9047104ca8..0000000000
--- a/src/drivers/dec/21143/21143.c
+++ /dev/null
@@ -1,40 +0,0 @@
-/* SPDX-License-Identifier: GPL-2.0-or-later */
-
-#include <device/device.h>
-#include <device/pci_def.h>
-#include <device/pci.h>
-#include <device/pci_ops.h>
-#include <device/pci_ids.h>
-#include <console/console.h>
-
-static void dec_21143_enable(struct device *dev)
-{
- printk(BIOS_DEBUG, "Initializing DECchip 21143\n");
-
- // The resource allocator should do this. If not, it needs to be fixed
- // differently.
-#if 0
- /* Command and status configuration (offset 0x04) */
- pci_write_config32(dev, 0x04, 0x02800107);
- printk(BIOS_DEBUG, "0x04 = %08x (07 01 80 02)\n",
- pci_read_config32(dev, 0x04));
-
- /* Cache line size (offset 0x0C) */
- pci_write_config8(dev, 0x0C, 0x00);
- printk(BIOS_DEBUG, "0x0c = %08x (00)\n",
- pci_read_config8(dev, 0x0C));
-#endif
-}
-
-static struct device_operations dec_21143_ops = {
- .read_resources = pci_dev_read_resources,
- .set_resources = pci_dev_set_resources,
- .enable_resources = pci_dev_enable_resources,
- .init = dec_21143_enable,
-};
-
-static const struct pci_driver dec_21143_driver __pci_driver = {
- .ops = &dec_21143_ops,
- .vendor = PCI_VENDOR_ID_DEC,
- .device = PCI_DEVICE_ID_DEC_21142, // FIXME wrong ID?
-};