X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/67d10e76e1e5d38d6624679c59e192ee897de76f..615241fa4695499799cebfd8a6dc8d90f3a93f13:/kernel/fiasco/src/jdb/jdb_tcb.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_tcb.cpp b/kernel/fiasco/src/jdb/jdb_tcb.cpp
index 3bb0fa9b2..b4d21dd8b 100644
--- a/kernel/fiasco/src/jdb/jdb_tcb.cpp
+++ b/kernel/fiasco/src/jdb/jdb_tcb.cpp
@@ -611,11 +611,12 @@ whole_screen:
   putstr("vCPU  st: ");
   if (t->state() & Thread_vcpu_enabled)
     {
-      char st[7];
+      char st1[7];
+      char st2[7];
       printf("c=%s s=%s e-ip=%08lx e-sp=%08lx S=",
-	     vcpu_state_str(t->vcpu_state()->state, st, sizeof(st)),
-             vcpu_state_str(t->vcpu_state()->_saved_state, st, sizeof(st)),
-	     t->vcpu_state()->_entry_ip, t->vcpu_state()->_entry_sp);
+             vcpu_state_str(t->vcpu_state()->state, st1, sizeof(st1)),
+             vcpu_state_str(t->vcpu_state()->_saved_state, st2, sizeof(st2)),
+             t->vcpu_state()->_entry_ip, t->vcpu_state()->_entry_sp);
       print_kobject(static_cast<Task*>(t->vcpu_user_space()));
     }
   else