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