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