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 timer_init(int irq); 6 7extern void __init mmp_map_io(void); 8extern void mmp_restart(enum reboot_mode, const char *); 9
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 timer_init(int irq); 6 7extern void __init mmp_map_io(void); 8extern void mmp_restart(enum reboot_mode, const char *); 9