162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#ifdef __uClinux__ 362306a36Sopenharmony_ci#include <asm/pgtable_no.h> 462306a36Sopenharmony_ci#else 562306a36Sopenharmony_ci#include <asm/pgtable_mm.h> 662306a36Sopenharmony_ci#endif 7