1 files changed, 2 insertions, 1 deletions
diff --git a/tboot/misc.c b/tboot/misc.c
index 480e9da..446e7f1 100644
--- a/tboot/misc.c
+++ b/tboot/misc.c
@@ -54,7 +54,8 @@
  */
 void print_hex(const char *prefix, const void *prtptr, size_t size)
 {
-    for ( size_t i = 0; i < size; i++ ) {
+    size_t i;
+    for ( i = 0; i < size; i++ ) {
         if ( i % 16 == 0 && prefix != NULL )
             printk(TBOOT_DETA"\n%s", prefix);
         printk(TBOOT_DETA"%02x ", *(uint8_t *)prtptr++);