Merge branch 'x86/apic' into perfcounters/core
[cascardo/linux.git] / arch / x86 / kernel / early_printk.c
index 504ad19..639ad98 100644 (file)
@@ -13,8 +13,8 @@
 #include <asm/setup.h>
 #include <xen/hvc-console.h>
 #include <asm/pci-direct.h>
-#include <asm/pgtable.h>
 #include <asm/fixmap.h>
+#include <asm/pgtable.h>
 #include <linux/usb/ehci_def.h>
 
 /* Simple VGA output */