externvoidfootbridge_timer_init(void);externvoidisa_timer_init(void);externvoidisa_rtc_init(void);externvoidfootbridge_map_io(void);externvoidfootbridge_init_irq(void);externvoidisa_init_irq(unsigned int irq);externvoidfootbridge_restart(char,const char*);