blob: 7e284d9c429fbf738fdbb6d67ec73d6e08f253d3 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001/* SPDX-License-Identifier: GPL-2.0 */
Robin Holt7b6d8642013-07-08 16:01:40 -07002#include <linux/reboot.h>
Eric Miao49cbe782009-01-20 14:15:18 +08003#define ARRAY_AND_SIZE(x) (x), ARRAY_SIZE(x)
4
Eric Miao49cbe782009-01-20 14:15:18 +08005extern void timer_init(int irq);
Eric Miao49cbe782009-01-20 14:15:18 +08006
Eric Miao80228872010-07-15 17:50:13 +08007extern void __init mmp_map_io(void);
Robin Holt7b6d8642013-07-08 16:01:40 -07008extern void mmp_restart(enum reboot_mode, const char *);