From c4ccb52d7d9b1d21e07239a5fb4033dd6f220d6a Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Wed, 25 May 2022 19:02:14 +1000 Subject: [PATCH] tool: print out values of TCB registers in report Signed-off-by: Ivan Velickovic --- tool/microkit/__main__.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/tool/microkit/__main__.py b/tool/microkit/__main__.py index b626b13c..fe2c9b1d 100644 --- a/tool/microkit/__main__.py +++ b/tool/microkit/__main__.py @@ -262,6 +262,15 @@ def invocation_to_str(inv: Sel4Invocation, cap_lookup: Dict[int, str]) -> str: val_str = f"{val} ({object_type_name} - variable size)" else: val_str = f"{val} ({object_type_name} - 0x{object_size:x})" + elif nm == "regs": + regs = vars(inv.regs) + val_str = "" + for i, reg in enumerate(regs.items()): + reg_value = 0 if reg[1] is None else reg[1] + if i == 0: + val_str = f"{reg[0]}: 0x{reg_value:016x}" + else: + val_str += f"\n{' ':30s}{reg[0]}: 0x{reg_value:016x}" else: val_str = str(val) arg_strs.append(f" {nm:20s} {val_str}")