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 */

1/* SPDX-License-Identifier: GPL-2.0 */
 
 
 
2#ifdef __uClinux__
3#include <asm/pgtable_no.h>
4#else
5#include <asm/pgtable_mm.h>
6#endif