From 08dd2251ea7ec28c0ca12c23d39d894f73a89de9 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Thu, 26 Nov 2020 09:15:30 +0900
Subject: [PATCH] arch/arm/src/stm32/stm32_hrtim.c: Fix a syslog format

---
 arch/arm/src/stm32/stm32_hrtim.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/arch/arm/src/stm32/stm32_hrtim.c b/arch/arm/src/stm32/stm32_hrtim.c
index ac2391f3f03..a06deae15b5 100644
--- a/arch/arm/src/stm32/stm32_hrtim.c
+++ b/arch/arm/src/stm32/stm32_hrtim.c
@@ -24,6 +24,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <errno.h>
 #include <assert.h>
@@ -5325,8 +5326,9 @@ static int hrtim_tim_freq_set(FAR struct hrtim_dev_s *dev, uint8_t timer,
   per = fclk / freq;
   if (per > HRTIM_PER_MAX)
     {
-      tmrerr("ERROR: can not achieve timer pwm freq=%u if fclk=%llu\n",
-             (uint32_t)freq, (uint64_t)fclk);
+      tmrerr("ERROR: can not achieve timer pwm "
+             "freq=%" PRIu64 " if fclk=%" PRIu64 "\n",
+             freq, fclk);
       ret = -EINVAL;
       goto errout;
     }