armv5: fixed printf format specifier.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 5 Dec 2014 13:31:15 +0000 (14:31 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 5 Dec 2014 13:31:15 +0000 (14:31 +0100)
kernel/arch/armv5/startup_arch.c

index 8a62809..cf3f626 100644 (file)
@@ -519,7 +519,7 @@ spawn_init(const char*      name,
     STARTUP_PROGRESS();
 
     create_modules_from_initrd(bootinfo, initrd_base, initrd_bytes);
-    debug(SUBSYS_STARTUP, "used %d slots in modulecn\n", spawn_state.modulecn_slot);
+    debug(SUBSYS_STARTUP, "used %"PRIuCSLOT" slots in modulecn\n", spawn_state.modulecn_slot);
 
     STARTUP_PROGRESS();
     create_phys_caps(&spawn_state.physaddrcn->cap, bootinfo);