1/* SPDX-License-Identifier: GPL-2.0 */
2#include <linux/reboot.h>
 
3
4extern void mmp_timer_init(int irq, unsigned long rate);
5
6extern void __init mmp_map_io(void);
7extern void __init mmp2_map_io(void);
 
 
 

 
 1#include <linux/reboot.h>
 2#define ARRAY_AND_SIZE(x)	(x), ARRAY_SIZE(x)
 3
 4extern void timer_init(int irq);
 5
 6extern void __init mmp_map_io(void);
 7extern void mmp_restart(enum reboot_mode, const char *);
 8extern void __init pxa168_clk_init(void);
 9extern void __init pxa910_clk_init(void);
10extern void __init mmp2_clk_init(void);