#include <linux/kernel.h>
#include <linux/init.h>
-#include <asm/tx4927/tx4927.h>
-#include <asm/tx4927/tx4927_pci.h>
+#include <asm/txx9/tx4927.h>
#undef DEBUG
#ifdef DEBUG
TX4927_IRQ_IOC_PCIC}
};
-int pci_get_irq(struct pci_dev *dev, int pin)
+static int pci_get_irq(const struct pci_dev *dev, int pin)
{
unsigned char irq = pin;