1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */ 27b6d864bSRobin Holt #include <linux/reboot.h> 349cbe786SEric Miao 412d3a30dSArnd Bergmann extern void mmp_timer_init(int irq, unsigned long rate); 549cbe786SEric Miao 68022887cSEric Miao extern void __init mmp_map_io(void); 7*e69fd509SLubomir Rintel extern void __init mmp2_map_io(void); 8