1 /* SPDX-License-Identifier: GPL-2.0+ */
2 
3 #ifndef __ASM_ARM_MMU_H
4 #define __ASM_ARM_MMU_H
5 
6 void init_addr_map(void);
7 
8 #endif
9