kapi/gdb: extend pretty printers

2 files changed, 25 insertions, 0 deletions

diff --git a/kapi/gdb/filesystem/__init__.py b/kapi/gdb/filesystem/__init__.py
new file mode 100644
index 00000000..a60554c0
--- /dev/null
+++ b/kapi/gdb/filesystem/__init__.py
@@ -0,0 +1,2 @@
+from .device_number import KapiFilesystemDeviceNumberPrinter
+
diff --git a/kapi/gdb/filesystem/device_number.py b/kapi/gdb/filesystem/device_number.py
new file mode 100644
index 00000000..e215dd3a
--- /dev/null
+++ b/kapi/gdb/filesystem/device_number.py
@@ -0,0 +1,23 @@
+import gdb
+
+
+class KapiFilesystemDeviceNumberPrinter(gdb.ValuePrinter):
+
+    def __init__(self, val):
+        self.__val = val
+
+    def to_string(self):
+        try:
+            major = int(self.__val["major"])
+            minor = int(self.__val["minor"])
+            return f"{major}:{minor}"
+        except (gdb.error, AttributeError):
+            return "<device_number ?>"
+
+    def children(self):
+        yield ("major", self.__val["major"])
+        yield ("minor", self.__val["minor"])
+
+    def display_hint(self):
+        return None
+