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 __ASSEMBLER__ 14 extern void paging_init(void); 15 #endif 16 17 #endif /* __M68K_PGTABLE_H */ 18