#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;