1/* SPDX-License-Identifier: GPL-2.0 */
2#include <linux/reboot.h>
3
4extern void mmp_timer_init(int irq, unsigned long rate);
5
6extern void __init mmp_map_io(void);
7extern void __init mmp2_map_io(void);

1/* SPDX-License-Identifier: GPL-2.0 */
2#include <linux/reboot.h>
3
4extern void mmp_timer_init(int irq, unsigned long rate);
5
6extern void __init mmp_map_io(void);
7extern void __init mmp2_map_io(void);