2 extern struct sys_timer footbridge_timer
;
3 extern struct sys_timer isa_timer
;
5 extern void isa_rtc_init(void);
7 extern void footbridge_map_io(void);
8 extern void footbridge_init_irq(void);
10 extern void isa_init_irq(unsigned int irq
);
11 extern void footbridge_restart(char, const char *);