diff --git a/drivers/wireless/ieee80211/bcm43xxx/bcmf_core.c b/drivers/wireless/ieee80211/bcm43xxx/bcmf_core.c
index 29d796e0824..ebcacc7a3cd 100644
--- a/drivers/wireless/ieee80211/bcm43xxx/bcmf_core.c
+++ b/drivers/wireless/ieee80211/bcm43xxx/bcmf_core.c
@@ -43,6 +43,7 @@
 #include <debug.h>
 #include <errno.h>
 #include <fcntl.h>
+#include <inttypes.h>
 #include <string.h>
 
 #include <nuttx/arch.h>
@@ -165,7 +166,7 @@ int bcmf_upload_binary(FAR struct bcmf_sdio_dev_s *sbus, uint32_t address,
       int ret = bcmf_core_set_backplane_window(sbus, address);
       if (ret != OK)
         {
-          wlerr("Backplane setting failed at %08x\n", address);
+          wlerr("Backplane setting failed at %08" PRIx32 "\n", address);
           return ret;
         }
 
@@ -185,7 +186,7 @@ int bcmf_upload_binary(FAR struct bcmf_sdio_dev_s *sbus, uint32_t address,
                                 size);
       if (ret != OK)
         {
-          wlerr("transfer failed %d %x %d\n", ret, address, size);
+          wlerr("transfer failed %d %" PRIx32 " %d\n", ret, address, size);
           return ret;
         }
 
@@ -345,8 +346,8 @@ int bcmf_upload_nvram(FAR struct bcmf_sdio_dev_s *sbus)
 
   nvram_sz = (*sbus->chip->nvram_image_size + 63) & (-64);
 
-  wlinfo("nvram size is %d %d bytes\n", nvram_sz,
-                                       *sbus->chip->nvram_image_size);
+  wlinfo("nvram size is %" PRId32 " %d bytes\n",
+         nvram_sz, *sbus->chip->nvram_image_size);
 
   /* Write image */