powerpc, 8xx: remove support for 8xx
[platform/kernel/u-boot.git] / arch / powerpc / cpu / ppc4xx / xilinx_irq.c
index 1a2e917..acb933e 100644 (file)
@@ -12,7 +12,6 @@
 #include <asm/interrupt.h>
 #include <asm/ppc4xx.h>
 #include <ppc_asm.tmpl>
-#include <commproc.h>
 #include <asm/io.h>
 #include <asm/xilinx_irq.h>