diff --git a/board/esd/cpci750/pci.c b/board/esd/cpci750/pci.c
index 24ab13f685536e461442316f505fc3beff44c5a0..840385c7a23336f38e8967042cfd48e9f424dfe2 100644
--- a/board/esd/cpci750/pci.c
+++ b/board/esd/cpci750/pci.c
@@ -28,10 +28,6 @@
 #ifdef CONFIG_PCI
 #include <pci.h>
 
-#ifdef CONFIG_PCI_PNP
-int  pciauto_region_allocate(struct pci_region* res, unsigned int size, unsigned int *bar);
-#endif
-
 #include "../../Marvell/include/pci.h"
 
 #undef DEBUG
diff --git a/board/prodrive/p3mx/pci.c b/board/prodrive/p3mx/pci.c
index 712c21cf69b44ccecf4f2cb61a5c3f07e418f495..7f4604ba2fa7c1dfefe2a6a71cb294ee0df2c95d 100644
--- a/board/prodrive/p3mx/pci.c
+++ b/board/prodrive/p3mx/pci.c
@@ -28,10 +28,6 @@
 #ifdef CONFIG_PCI
 #include <pci.h>
 
-#ifdef CONFIG_PCI_PNP
-int  pciauto_region_allocate(struct pci_region* res, unsigned int size, unsigned int *bar);
-#endif
-
 #include "../../Marvell/include/pci.h"
 
 #undef DEBUG