1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * arch/arm/mach-netx/generic.h
5 * Copyright (c) 2005 Sascha Hauer <s.hauer@pengutronix.de>, Pengutronix
8 #include <linux/reboot.h>
10 extern void __init netx_map_io(void);
11 extern void __init netx_init_irq(void);
12 extern void netx_restart(enum reboot_mode, const char *);
14 extern void netx_timer_init(void);