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);