7 lines
199 B
C
7 lines
199 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#include <linux/reboot.h>
|
|
|
|
extern void mmp_timer_init(int irq, unsigned long rate);
|
|
|
|
extern void __init mmp_map_io(void);
|
|
extern void __init mmp2_map_io(void);
|