forked from ~ljy/RK3588_XEN

blame | history | raw
hc
2024-08-19 eb6b9ee90f50f13c5abb885ce483802d6262f2b5 
1
2
3
4
5
6

/* SPDX-License-Identifier: GPL-2.0 */


#ifdef __uClinux__


#include <asm/pgtable_no.h>


#else


#include <asm/pgtable_mm.h>


#endif