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