disabled kernel warning

hc

2023-02-14 9c26bd2fb3d1b04cfe748cd7a8d8883feff5250f

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