update

[l4.git] / kernel / fiasco / src / jdb / ia32 / jdb_kern_info-dr.cpp

diff --git a/kernel/fiasco/src/jdb/ia32/jdb_kern_info-dr.cpp b/kernel/fiasco/src/jdb/ia32/jdb_kern_info-dr.cpp
index 1b695ddd5996f3903a1cc0ec9b13ee03d7fd00e9..71710bdf4f140e4125c86dff4f901acca33ea253 100644 (file)
--- a/kernel/fiasco/src/jdb/ia32/jdb_kern_info-dr.cpp
+++ b/kernel/fiasco/src/jdb/ia32/jdb_kern_info-dr.cpp
@@ -23,12 +23,12 @@ PUBLIC
 void
 Jdb_kern_info_dr::show()
 {
-  printf("dr0: "L4_PTR_FMT"\n"
-         "dr1: "L4_PTR_FMT"\n"
-         "dr2: "L4_PTR_FMT"\n"
-         "dr3: "L4_PTR_FMT"\n"
-         "dr6: "L4_PTR_FMT"\n"
-         "dr7: "L4_PTR_FMT"\n",
+  printf("dr0: " L4_PTR_FMT "\n"
+         "dr1: " L4_PTR_FMT "\n"
+         "dr2: " L4_PTR_FMT "\n"
+         "dr3: " L4_PTR_FMT "\n"
+         "dr6: " L4_PTR_FMT "\n"
+         "dr7: " L4_PTR_FMT "\n",
         Jdb_bp::get_dr(0),
         Jdb_bp::get_dr(1),
         Jdb_bp::get_dr(2),