diff --git a/arch/arm/src/s32k1xx/s32k1xx_lpi2c.c b/arch/arm/src/s32k1xx/s32k1xx_lpi2c.c
index 2eb9f19aec..0c9e4874f5 100644
--- a/arch/arm/src/s32k1xx/s32k1xx_lpi2c.c
+++ b/arch/arm/src/s32k1xx/s32k1xx_lpi2c.c
@@ -40,6 +40,7 @@
 #include <nuttx/config.h>
 
 #include <sys/types.h>
+#include <inttypes.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <stdint.h>
@@ -754,7 +755,7 @@ static inline void
    * still pending.
    */
 
-  i2cinfo("Timeout with Status Register: %x\n", regval);
+  i2cinfo("Timeout with Status Register: %" PRIx32 "\n", regval);
 }
 
 /****************************************************************************
@@ -1606,7 +1607,7 @@ static int s32k1xx_lpi2c_transfer(FAR struct i2c_master_s *dev,
     {
       ret = -ETIMEDOUT;
 
-      i2cerr("ERROR: Timed out: MCR: status: 0x%x\n", priv->status);
+      i2cerr("ERROR: Timed out: MCR: status: 0x%" PRIx32 "\n", priv->status);
     }
 
   /* Check for error status conditions */