diff --git a/arch/arm/src/stm32/stm32_otghsdev.c b/arch/arm/src/stm32/stm32_otghsdev.c
index 4275f163ca..e30671f8ff 100644
--- a/arch/arm/src/stm32/stm32_otghsdev.c
+++ b/arch/arm/src/stm32/stm32_otghsdev.c
@@ -40,6 +40,7 @@
 #include <nuttx/config.h>
 
 #include <sys/types.h>
+#include <inttypes.h>
 #include <stdint.h>
 #include <stdbool.h>
 #include <stdlib.h>
@@ -2679,7 +2680,7 @@ static inline void stm32_epout_interrupt(FAR struct stm32_usbdev_s *priv)
           if ((daint & 1) != 0)
             {
               regval = stm32_getreg(STM32_OTGHS_DOEPINT(epno));
-              uinfo("DOEPINT(%d) = %08x\n", epno, regval);
+              uinfo("DOEPINT(%d) = %08" PRIx32 "\n", epno, regval);
               stm32_putreg(0xff, STM32_OTGHS_DOEPINT(epno));
             }
 
@@ -2917,7 +2918,7 @@ static inline void stm32_epin_interrupt(FAR struct stm32_usbdev_s *priv)
         {
           if ((daint & 1) != 0)
             {
-              uinfo("DIEPINT(%d) = %08x\n",
+              uinfo("DIEPINT(%d) = %08" PRIx32 "\n",
                     epno, stm32_getreg(STM32_OTGHS_DIEPINT(epno)));
               stm32_putreg(0xff, STM32_OTGHS_DIEPINT(epno));
             }
@@ -5553,7 +5554,7 @@ void arm_usbinitialize(void)
   ret = irq_attach(STM32_IRQ_OTGHS, stm32_usbinterrupt, NULL);
   if (ret < 0)
     {
-      uerr("ERROR: irq_attach failed\n", ret);
+      uerr("ERROR: irq_attach failed: %d\n", ret);
       goto errout;
     }