kernel/arch/x86/kernel/i8259.c
.. .. @@ -15,11 +15,11 @@ 15 15 #include <linux/acpi.h> 16 16 #include <linux/io.h> 17 17 #include <linux/delay.h> 18 +#include <linux/pgtable.h>18 19 19 20 #include <linux/atomic.h> 20 21 #include <asm/timer.h> 21 22 #include <asm/hw_irq.h> 22 -#include <asm/pgtable.h>23 23 #include <asm/desc.h> 24 24 #include <asm/apic.h> 25 25 #include <asm/i8259.h>