Show register value as hex

The full value is useful when the value is retrieved via openocd.
Previously, only the decoded bits were visible.

diff --git a/svdpoke.py b/svdpoke.py
index ae2051db3b0d09b8c03ea0e264a9ac627bfee9e2..1b24a70732c144ab63e897c99b8bbab3fd447368 100755 (executable)
--- a/svdpoke.py
+++ b/svdpoke.py
@@ -51,7 +51,11 @@ def print_register(register, register_value):
     base = parent.base_address
     offset = register.address_offset
     addr = base + offset
-    print(f'{parent.name}_{register.name} @ 0x{addr:08X} (0x{base:08X} + 0x{offset:X}):')
+    if register_value is None:
+        value = ''
+    else:
+        value = f' = 0x{register_value:X}'
+    print(f'{parent.name}_{register.name} @ 0x{addr:08X} (0x{base:08X} + 0x{offset:X}){value}:')
 
     data = []
     for f in register.get_fields():