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); 8
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.