ppc4xx: Add pci_pre_init() for 405 boards

[oweals/u-boot.git] / include / common.h

diff --git a/include/common.h b/include/common.h
index c4fc2b3448c8252475b25025c194d44a7d7aea3e..3c4b37b0dcbb11ab5c1321e05c5d6e6e9bfcb006 100644 (file)
--- a/include/common.h
+++ b/include/common.h
@@ -402,6 +402,10 @@ void               ppcDcbi(unsigned long value);
 void           ppcSync(void);
 void           ppcDcbz(unsigned long value);
 #endif
+#if defined (CONFIG_MICROBLAZE)
+unsigned short in16(unsigned int);
+void           out16(unsigned int, unsigned short value);
+#endif
 
 #if defined (CONFIG_MPC83XX)
 void           ppcDWload(unsigned int *addr, unsigned int *ret);