diff --git a/src/dtblint-imx-pinmux.c b/src/dtblint-imx-pinmux.c
index dc5e920..6391e31 100644
--- a/src/dtblint-imx-pinmux.c
+++ b/src/dtblint-imx-pinmux.c
@@ -5,6 +5,7 @@
  * the terms of the GNU General Public License version 2 as published by the
  * Free Software Foundation.
  */
+#include <inttypes.h>
 #include <stdlib.h>
 #include <stdint.h>
 #include <stdio.h>
@@ -2784,8 +2785,8 @@
 				       padinfo->swpad_writeable_mask,
 				       padinfo->padname);
 			} else if (config & ~padinfo->swpad_writeable_mask) {
-				printf("E: config value specified for reserved bit (%s)\n",
-				       padinfo->padname);
+				printf("E: config value specified for reserved bit (%s, %" PRIx32 ")\n",
+				       padinfo->padname, config & ~padinfo->swpad_writeable_mask);
 			}
 		}
 	}