Orange Pi5 kernel

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