2017-11-06 02:38:20 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0 */
|
2017-08-10 13:25:24 +00:00
|
|
|
#include <linux/reboot.h>
|
|
|
|
|
|
|
|
extern void footbridge_timer_init(void);
|
|
|
|
extern void isa_timer_init(void);
|
|
|
|
|
|
|
|
extern void isa_rtc_init(void);
|
|
|
|
|
|
|
|
extern void footbridge_map_io(void);
|
|
|
|
extern void footbridge_init_irq(void);
|
|
|
|
|
|
|
|
extern void isa_init_irq(unsigned int irq);
|
|
|
|
extern void footbridge_restart(enum reboot_mode, const char *);
|
|
|
|
|
|
|
|
extern void footbridge_sched_clock(void);
|