18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#include <linux/reboot.h> 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_ciextern void footbridge_timer_init(void); 58c2ecf20Sopenharmony_ciextern void isa_timer_init(void); 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ciextern void isa_rtc_init(void); 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ciextern void footbridge_map_io(void); 108c2ecf20Sopenharmony_ciextern void footbridge_init_irq(void); 118c2ecf20Sopenharmony_ci 128c2ecf20Sopenharmony_ciextern void isa_init_irq(unsigned int irq); 138c2ecf20Sopenharmony_ciextern void footbridge_restart(enum reboot_mode, const char *); 148c2ecf20Sopenharmony_ci 158c2ecf20Sopenharmony_ciextern void footbridge_sched_clock(void); 16