hc
2024-05-10 ee930fffee469d076998274a2ca55e13dc1efb67
kernel/arch/nios2/mm/pgtable.c
....@@ -10,7 +10,6 @@
1010 #include <linux/mm.h>
1111 #include <linux/sched.h>
1212
13
-#include <asm/pgtable.h>
1413 #include <asm/cpuinfo.h>
1514
1615 /* pteaddr: