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