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