1 extern void cpu8815_map_io(void);
2 extern void cpu8815_platform_init(void);
3 extern void cpu8815_init_irq(void);
4 extern void cpu8815_restart(char, const char *);
5