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