From 89183fec009ad5e27095247633da124833314292 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Thu, 26 Nov 2020 06:54:32 +0900
Subject: [PATCH] drivers/timers/pwm.c: Fix a syslog format

---
 drivers/timers/pwm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drivers/timers/pwm.c b/drivers/timers/pwm.c
index d35c5c7276c..257ff11c1b0 100644
--- a/drivers/timers/pwm.c
+++ b/drivers/timers/pwm.c
@@ -127,7 +127,7 @@ static void pwm_dump(FAR const char *msg, FAR const struct pwm_info_s *info,
               info->channels[i].channel, info->channels[i].duty);
     }
 #else
-  pwminfo(" duty: %08x\n", info->duty);
+  pwminfo(" duty: %08" PRIx32 "\n", info->duty);
 #endif
 
 #ifdef CONFIG_PWM_PULSECOUNT