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