Training courses
Kernel and Embedded Linux
Bootlin training courses
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