162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#include <linux/reboot.h> 362306a36Sopenharmony_ci 462306a36Sopenharmony_ciextern void footbridge_timer_init(void); 562306a36Sopenharmony_ciextern void isa_timer_init(void); 662306a36Sopenharmony_ci 762306a36Sopenharmony_ciextern void isa_rtc_init(void); 862306a36Sopenharmony_ci 962306a36Sopenharmony_ciextern void footbridge_map_io(void); 1062306a36Sopenharmony_ciextern void footbridge_init_irq(void); 1162306a36Sopenharmony_ci 1262306a36Sopenharmony_ciextern void isa_init_irq(unsigned int irq); 1362306a36Sopenharmony_ciextern void footbridge_restart(enum reboot_mode, const char *); 1462306a36Sopenharmony_ci 1562306a36Sopenharmony_ciextern void footbridge_sched_clock(void); 16