1#include <linux/reboot.h>
2
3extern void footbridge_timer_init(void);
4extern void isa_timer_init(void);
5
6extern void isa_rtc_init(void);
7
8extern void footbridge_map_io(void);
9extern void footbridge_init_irq(void);
10
11extern void isa_init_irq(unsigned int irq);
12extern void footbridge_restart(enum reboot_mode, const char *);
13
14extern void footbridge_sched_clock(void);
15