2017-11-06 02:38:20 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0 */
|
2017-08-10 13:25:24 +00:00
|
|
|
#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 *);
|