common.h

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