From 07fb219869099c719b0fbfeae81b95512487639e Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Fri, 8 May 2026 17:12:24 +0200
Subject: debug: add page and frame formatters

---
 kapi/gdb/devices/__init__.py |  1 +
 kapi/gdb/devices/device.py   | 20 ++++++++++++++++++++
 2 files changed, 21 insertions(+)
 create mode 100644 kapi/gdb/devices/__init__.py
 create mode 100644 kapi/gdb/devices/device.py

(limited to 'kapi/gdb/devices')

diff --git a/kapi/gdb/devices/__init__.py b/kapi/gdb/devices/__init__.py
new file mode 100644
index 0000000..3bab1ea
--- /dev/null
+++ b/kapi/gdb/devices/__init__.py
@@ -0,0 +1 @@
+from .device import KapiDevicesDevicePrinter
diff --git a/kapi/gdb/devices/device.py b/kapi/gdb/devices/device.py
new file mode 100644
index 0000000..8e515ef
--- /dev/null
+++ b/kapi/gdb/devices/device.py
@@ -0,0 +1,20 @@
+import gdb
+
+
+class KapiDevicesDevicePrinter(gdb.ValuePrinter):
+    def __init__(self, val):
+        self.__val = val
+
+    def to_string(self):
+        return (
+            f"{self.__val['m_name']} @ {self.__val['m_major']}:{self.__val['m_minor']}"
+        )
+
+    def children(self):
+        yield ("major", self.__val["m_major"])
+        yield ("minor", self.__val["m_minor"])
+        yield ("name", self.__val["m_name"])
+        yield ("parent", self.__val["m_parent"])
+
+    def display_hint(self):
+        return None
-- 
cgit v1.2.3