kernel/core: Add missing parameter in call to dbg_printf()

diff --git a/kernel/core/main.c b/kernel/core/main.c
index fc3c4721cae6b8ec704c9ba2a12e18913e73268f..dbadad8626abf449c5e698a11866e9f006d983ee 100644 (file)
--- a/kernel/core/main.c
+++ b/kernel/core/main.c
@@ -218,6 +218,7 @@ int corax(void *mb_info, u32_t magic)
 
        for(err = 0; err < initfs.ifs_num_entries; err++) {
                dbg_printf("initfs[%01u] = { \"%s\", 0x%08x : 0x%08x }\n",
+                          err,
                           initfs.ifs_entries[err].ife_name,
                           initfs.ifs_entries[err].ife_base,
                           initfs.ifs_entries[err].ife_limit);