#include <linux/types.h>
#include <linux/pci.h>
-#include <asm/pci_channel.h>
#include <asm/debug.h>
#include <asm/ddb5xxx/ddb5xxx.h>
return irq_map[slot];
}
+/* Do platform specific device initialization at pci_enable_device() time */
+int pcibios_plat_dev_init(struct pci_dev *dev)
+{
+ return 0;
+}
+
void __init ddb_pci_reset_bus(void)
{
u32 temp;