common.h

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