From d6e87d7f4097e8d3f96357a6fc8ea1308f37d5e9 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Mon, 23 Nov 2020 20:33:36 +0900
Subject: [PATCH] net/igmp/igmp_input.c: Fix a syslog format

---
 net/igmp/igmp_input.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/net/igmp/igmp_input.c b/net/igmp/igmp_input.c
index 668538f88c..f963c337df 100644
--- a/net/igmp/igmp_input.c
+++ b/net/igmp/igmp_input.c
@@ -45,6 +45,8 @@
 
 #include <assert.h>
 #include <debug.h>
+#include <inttypes.h>
+#include <stdint.h>
 
 #include <nuttx/wdog.h>
 #include <nuttx/net/netconfig.h>
@@ -157,7 +159,8 @@ void igmp_input(struct net_driver_s *dev)
   group = igmp_grpallocfind(dev, &destipaddr);
   if (group == NULL)
     {
-      nerr("ERROR: Failed to find/allocate group: %08x\n", destipaddr);
+      nerr("ERROR: Failed to find/allocate group: %08" PRIx32 "\n",
+           (uint32_t)destipaddr);
       return;
     }