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