diff --git a/drivers/wireless/ieee802154/mrf24j40/mrf24j40_getset.c b/drivers/wireless/ieee802154/mrf24j40/mrf24j40_getset.c
index e8e092e45c..59eb87dfc4 100644
--- a/drivers/wireless/ieee802154/mrf24j40/mrf24j40_getset.c
+++ b/drivers/wireless/ieee802154/mrf24j40/mrf24j40_getset.c
@@ -41,6 +41,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <string.h>
 #include <assert.h>
 #include <debug.h>
@@ -369,7 +370,7 @@ int mrf24j40_settxpower(FAR struct mrf24j40_radio_s *dev,
       return -EINVAL;
     }
 
-  wlinfo("Remaining attenuation: %d mBm\n", txpwr);
+  wlinfo("Remaining attenuation: %" PRId32 " mBm\n", txpwr);
 
   switch (txpwr / 100)
     {