1 /* SPDX-License-Identifier: GPL-2.0 */
2 #include <linux/reboot.h>
3 #define ARRAY_AND_SIZE(x) (x), ARRAY_SIZE(x)
5 extern void mmp_timer_init(int irq
, unsigned long rate
);
7 extern void __init
mmp_map_io(void);
8 extern void __init
mmp2_map_io(void);
9 extern void mmp_restart(enum reboot_mode
, const char *);