ppc4xx: Rename 405gp_pci to 4xx_pci since its used on all 4xx platforms
[platform/kernel/u-boot.git] / board / esd / ocrtc / cmd_ocrtc.c
index 4177f68..f83dfe8 100644 (file)
@@ -25,7 +25,7 @@
 #include <command.h>
 #include <pci.h>
 #include <pci_ids.h>
-#include <405gp_pci.h>
+#include <asm/4xx_pci.h>
 
 
 #if defined(CONFIG_CMD_BSP)