18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifdef __uClinux__ 38c2ecf20Sopenharmony_ci#include <asm/pgtable_no.h> 48c2ecf20Sopenharmony_ci#else 58c2ecf20Sopenharmony_ci#include <asm/pgtable_mm.h> 68c2ecf20Sopenharmony_ci#endif 7