Changeset 726 for soft/giet_vm/giet_boot/boot.c

Timestamp:

Nov 21, 2015, 2:46:24 PM (9 years ago)

Author:

alain

Message:

Cosmetic.

File:

• soft/giet_vm/giet_boot/boot.c (modified) (2 diffs)

soft/giet_vm/giet_boot/boot.c

@@ -1283 +1283 @@
                     psched->threads   = ltid + 1;
 
-                    // ctx_trd_id : compute pthread global identifier
+                    // ctx_trdid : compute pthread global identifier
                     unsigned int ctx_trdid = x << 24 | y<<16 | lpid<<8 | ltid;
 
@@ -1352 +1352 @@
 void boot_mapping_init()
 {
+
+#if BOOT_DEBUG_MAPPING
+_printf("\n[BOOT DEBUG] boot_mapin_init() : enter\n");
+#endif
+
     // load map.bin file into buffer
     if ( _fat_load_no_cache( "map.bin",