update

[l4.git] / kernel / fiasco / src / jdb / jdb_utcb.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_utcb.cpp b/kernel/fiasco/src/jdb/jdb_utcb.cpp
index 618298853a9ca9d0c546e2896ba1445942f620d2..bb20cc3fda37f23522d176e7e25546e7fe8c9426 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_utcb.cpp
+++ b/kernel/fiasco/src/jdb/jdb_utcb.cpp
@@ -51,7 +51,7 @@ Jdb_utcb::print(Thread *t)
       Vcpu_state *v = t->vcpu_state().kern();
       printf("\nVcpu-state-addr: %p\n", v);
       printf("state: %x    saved-state:  %x  sticky: %x\n",
-             v->state, v->_saved_state, v->sticky_flags);
+             (int)v->state, (int)v->_saved_state, (int)v->sticky_flags);
       printf("entry_sp = %lx    entry_ip = %lx  sp = %lx\n",
              v->_entry_sp, v->_entry_ip, v->_sp);
       v->_ts.dump();