kernel/arch/x86/platform/olpc/olpc_ofw.c
.. .. @@ -1,13 +1,14 @@ 1 +// SPDX-License-Identifier: GPL-2.0-only1 2 #include <linux/kernel.h> 2 3 #include <linux/export.h> 3 4 #include <linux/spinlock_types.h> 4 5 #include <linux/init.h> 6 +#include <linux/pgtable.h>5 7 #include <asm/page.h> 6 8 #include <asm/setup.h> 7 9 #include <asm/io.h> 8 10 #include <asm/cpufeature.h> 9 11 #include <asm/special_insns.h> 10 -#include <asm/pgtable.h>11 12 #include <asm/olpc_ofw.h> 12 13 13 14 /* address of OFW callback interface; will be NULL if OFW isn't found */