diff --git a/boards/arm/stm32/stm32f334-disco/src/stm32_smps.c b/boards/arm/stm32/stm32f334-disco/src/stm32_smps.c
index 19604524ef3..05297e33928 100644
--- a/boards/arm/stm32/stm32f334-disco/src/stm32_smps.c
+++ b/boards/arm/stm32/stm32f334-disco/src/stm32_smps.c
@@ -28,6 +28,7 @@
 #include <sys/ioctl.h>
 #include <sys/types.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <stdbool.h>
 #include <stdlib.h>
@@ -438,7 +439,8 @@ static int smps_start(FAR struct smps_dev_s *dev)
   per = fclk / TIMA_PWM_FREQ;
   if (per > HRTIM_PER_MAX)
     {
-      pwrerr("ERROR:  Can not achieve tima pwm freq=%u if fclk=%llu\n",
+      pwrerr("ERROR:  Can not achieve tima pwm "
+             "freq=%" PRIu32 " if fclk=%" PRIu64 "\n",
              (uint32_t)TIMA_PWM_FREQ, (uint64_t)fclk);
       ret = -EINVAL;
       goto errout;
@@ -454,7 +456,8 @@ static int smps_start(FAR struct smps_dev_s *dev)
   per = fclk / TIMB_PWM_FREQ;
   if (per > HRTIM_PER_MAX)
     {
-      pwrerr("ERROR:  Can not achieve timb pwm freq=%u if fclk=%llu\n",
+      pwrerr("ERROR:  Can not achieve timb pwm "
+             "freq=%" PRIu32 " if fclk=%" PRIu64 "\n",
              (uint32_t)TIMB_PWM_FREQ, (uint64_t)fclk);
       ret = -EINVAL;
       goto errout;