#include <linux/bootmem.h>
#include <linux/blkdev.h>
#ifdef CONFIG_RTC_DS1742
-#include <linux/ds1742rtc.h>
+#include <asm/rtc_ds1742.h>
#endif
#ifdef CONFIG_TOSHIBA_FPCIB0
-#include <asm/tx4927/smsc_fdc37m81x.h>
+#include <asm/smsc_fdc37m81x.h>
#endif
#include <asm/tx4927/toshiba_rbtx4927.h>
#endif
-void __init arch_init_irq(void)
+void __init init_IRQ(void)
{
extern void tx4927_irq_init(void);
}
#endif
+#ifdef CONFIG_PCI
+ {
+ extern void toshiba_rbtx4927_pci_irq_init(void);
+ toshiba_rbtx4927_pci_irq_init();
+ }
+#endif
+
wbflush();
return;