1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __M68K_PGTABLE_H
3 #define __M68K_PGTABLE_H
4 
5 #include <asm/page.h>
6 
7 #ifdef __uClinux__
8 #include <asm/pgtable_no.h>
9 #else
10 #include <asm/pgtable_mm.h>
11 #endif
12 
13 #ifndef __ASSEMBLY__
14 extern void paging_init(void);
15 #endif
16 
17 #endif /* __M68K_PGTABLE_H */
18