openocd: use proper format with uint32_t

[openocd.git] / src / rtos / ThreadX.c

diff --git a/src/rtos/ThreadX.c b/src/rtos/ThreadX.c
index 9605533aa448d79ddbb415f6a4d7cf5f3085b3e5..302641bae4bb549af64c305a277907f205c26c23 100644 (file)
--- a/src/rtos/ThreadX.c
+++ b/src/rtos/ThreadX.c
@@ -248,7 +248,7 @@ static const struct rtos_register_stacking *get_stacking_info_arm926ejs(const st
                LOG_DEBUG("  solicited stack");
                return param->stacking_info + 0;
        } else {
-               LOG_DEBUG("  interrupt stack: %u", flag);
+               LOG_DEBUG("  interrupt stack: %" PRIu32, flag);
                return param->stacking_info + 1;
        }
 }