commit d62a8e6f58c520fdfc728854675c550e974026e5
author Axel Heider <axelheider@gmx.de> Sun Apr 04 03:58:46 2021 +0200
committer Kent McLeod <kent-mcleod@users.noreply.github.com> Fri May 14 14:02:12 2021 +1000
tree e73fd5a9a04eb9780c84826f0d217739713d608d
parent c0724b90939ecf21babb9dd20f72130df07b2a8a

libsel4debug: improve debug output

Print the colon after the register name.

Signed-off-by: Axel Heider <axelheider@gmx.de>

libsel4debug/src/register_dump.c

diff --git a/libsel4debug/src/register_dump.c b/libsel4debug/src/register_dump.c
index 557a349..e5a59b3 100644
--- a/libsel4debug/src/register_dump.c
+++ b/libsel4debug/src/register_dump.c
@@ -30,6 +30,6 @@
 
     printf("%sRegister dump:\n", prefix);
     for (int i = 0; i < num_regs; i++) {
-        printf("%s%s\t:0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
+        printf("%s%s:\t0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
     }
 }