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