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