[ARM] 4378/1: KS8695: Serial driver fix
[pandora-kernel.git] / arch / arm / mach-integrator / platsmp.c
index 1bc8534..613b841 100644 (file)
@@ -18,7 +18,6 @@
 #include <asm/cacheflush.h>
 #include <asm/delay.h>
 #include <asm/mmu_context.h>
-#include <asm/procinfo.h>
 #include <asm/ptrace.h>
 #include <asm/smp.h>