From d05299f37dee6f1478519028193de120bcdf4b75 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Sun, 22 Nov 2020 19:57:58 +0900
Subject: [PATCH] drivers/leds/userled_lower.c: Fix a syslog format

---
 drivers/leds/userled_lower.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/drivers/leds/userled_lower.c b/drivers/leds/userled_lower.c
index 70e8b12d7ce..90bd9526020 100644
--- a/drivers/leds/userled_lower.c
+++ b/drivers/leds/userled_lower.c
@@ -42,6 +42,7 @@
 #include <sys/types.h>
 #include <assert.h>
 #include <debug.h>
+#include <inttypes.h>
 
 #include <nuttx/board.h>
 #include <nuttx/leds/userled.h>
@@ -89,7 +90,7 @@ static const struct userled_lowerhalf_s g_userled_lower =
 static userled_set_t
 userled_supported(FAR const struct userled_lowerhalf_s *lower)
 {
-  ledinfo("BOARD_NLEDS: %02x\n", g_lednum);
+  ledinfo("BOARD_NLEDS: %02" PRIx32 "\n", g_lednum);
   return (userled_set_t)((1 << g_lednum) - 1);
 }