commit 1f6de1ca0b14c709151d1f1f7b55489dc48b18bf
author Anna Lyons <Anna.Lyons@data61.csiro.au> Thu Feb 21 16:23:22 2019 +1100
committer Anna Lyons <Anna.Lyons@data61.csiro.au> Mon Mar 04 11:25:38 2019 +1100
tree a4855be9580fd4d15d001e0c029d720bf21aafda
parent dbd4f65b8e6d87dcaaf6768bdb5cbee978ae26e8

libsel4debug: add prefix for register dump

This allows register dumps to identify the source of the dump.

libsel4debug/include/sel4debug/register_dump.h

diff --git a/libsel4debug/include/sel4debug/register_dump.h b/libsel4debug/include/sel4debug/register_dump.h
index a65197f..047ba51 100644
--- a/libsel4debug/include/sel4debug/register_dump.h
+++ b/libsel4debug/include/sel4debug/register_dump.h
@@ -15,4 +15,4 @@
 #include <sel4debug/arch/registers.h>
 
 void sel4debug_dump_registers(seL4_CPtr tcb);
-
+void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix);

libsel4debug/src/register_dump.c

diff --git a/libsel4debug/src/register_dump.c b/libsel4debug/src/register_dump.c
index a06fe3d..36df23a 100644
--- a/libsel4debug/src/register_dump.c
+++ b/libsel4debug/src/register_dump.c
@@ -17,8 +17,12 @@
 #include <stdio.h>
 #include <utils/zf_log.h>
 
-void
-sel4debug_dump_registers(seL4_CPtr tcb)
+void sel4debug_dump_registers(seL4_CPtr tcb)
+{
+    sel4debug_dump_registers_prefix(tcb, "");
+}
+
+void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix)
 {
     seL4_UserContext context;
     int error;
@@ -30,8 +34,8 @@
         return;
     }
 
-    printf("Register dump:\n");
+    printf("%sRegister dump:\n", prefix);
     for (int i = 0; i < num_regs; i++) {
-        printf("%s\t:0x%lx\n", register_names[i], (long) ((seL4_Word * )&context)[i]);
+        printf("%s%s\t:0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
     }
 }