18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#include <linux/reboot.h> 38c2ecf20Sopenharmony_ci#define ARRAY_AND_SIZE(x) (x), ARRAY_SIZE(x) 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ciextern void mmp_timer_init(int irq, unsigned long rate); 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ciextern void __init mmp_map_io(void); 88c2ecf20Sopenharmony_ciextern void __init mmp2_map_io(void); 98c2ecf20Sopenharmony_ciextern void mmp_restart(enum reboot_mode, const char *); 10