K1OM: fix build with the introduction of hwid_t
authorReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 15 Mar 2017 09:01:08 +0000 (10:01 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 15 Mar 2017 09:01:08 +0000 (10:01 +0100)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

kernel/arch/k1om/startup_arch.c

index 197c5bd..85090cc 100644 (file)
@@ -494,7 +494,7 @@ struct dcb *spawn_app_init(struct x86_core_data *core_data, const char *name)
 
     // Arch id of the core that booted this core
     char archidchar[30];
-    snprintf(archidchar, sizeof(archidchar), "archid=%d",
+    snprintf(archidchar, sizeof(archidchar), "archid=%" PRIuHWID,
              core_data->src_arch_id);
 
     const char *argv[] = { name, coreidchar, chanidchar, archidchar };