[PATCH 08/11] Added inttype, fix 1 format warning

[Cillian O'Donnell]

---
 c/src/lib/libbsp/powerpc/mvme5500/pci/pci.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/c/src/lib/libbsp/powerpc/mvme5500/pci/pci.c b/c/src/lib/libbsp/powerpc/mvme5500/pci/pci.c
index 8601721..bef0173 100644
--- a/c/src/lib/libbsp/powerpc/mvme5500/pci/pci.c
+++ b/c/src/lib/libbsp/powerpc/mvme5500/pci/pci.c
@@ -33,6 +33,7 @@
 
 #include <stdio.h>
 #include <string.h>
+#include <inttypes.h>
 
 #define PCI_DEBUG 0
 #define PCI_PRINT 1
@@ -294,7 +295,7 @@ int pci_initialize(void)
 	  break;
        default :
 #if PCI_PRINT
-          printk("BSP unlisted vendor, Bus%d Slot%d DeviceID 0x%x \n",
+          printk("BSP unlisted vendor, Bus%d Slot%d DeviceID 0x%" PRIx32 "\n",
              ucBusNumber,ucSlotNumber, ulDeviceID);
 #endif
 	  /* Kate Feng : device not supported by BSP needs to remap the IRQ line on mvme5500/mvme6100 */
-- 
2.7.4