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/__init__.py         |  9 +++++++--
 kapi/gdb/address.py          | 31 -------------------------------
 kapi/gdb/device.py           | 20 --------------------
 kapi/gdb/devices/__init__.py |  1 +
 kapi/gdb/devices/device.py   | 20 ++++++++++++++++++++
 kapi/gdb/memory/__init__.py  |  4 ++++
 kapi/gdb/memory/address.py   | 31 +++++++++++++++++++++++++++++++
 kapi/gdb/memory/chunk.py     | 41 +++++++++++++++++++++++++++++++++++++++++
 8 files changed, 104 insertions(+), 53 deletions(-)
 delete mode 100644 kapi/gdb/address.py
 delete mode 100644 kapi/gdb/device.py
 create mode 100644 kapi/gdb/devices/__init__.py
 create mode 100644 kapi/gdb/devices/device.py
 create mode 100644 kapi/gdb/memory/__init__.py
 create mode 100644 kapi/gdb/memory/address.py
 create mode 100644 kapi/gdb/memory/chunk.py

(limited to 'kapi')

diff --git a/kapi/gdb/__init__.py b/kapi/gdb/__init__.py
index ce95628..afb68f8 100644
--- a/kapi/gdb/__init__.py
+++ b/kapi/gdb/__init__.py
@@ -1,7 +1,7 @@
 import gdb.printing
 
-from .address import KapiMemoryAddressPrinter
-from .device import KapiDevicesDevicePrinter
+from .memory import *
+from .devices import *
 
 
 def build_pretty_printers():
@@ -9,6 +9,11 @@ def build_pretty_printers():
     pp.add_printer(
         "kapi_memory_address", "^kapi::memory::address<.*>$", KapiMemoryAddressPrinter
     )
+    pp.add_printer(
+        "kapi_memory_chunk", "^kapi::memory::chunk<.*>$", KapiMemoryChunkPrinter
+    )
+    pp.add_printer("kapi_memory_frame", "^kapi::memory::frame$", KapiMemoryFramePrinter)
+    pp.add_printer("kapi_memory_page", "^kapi::memory::page$", KapiMemoryPagePrinter)
     pp.add_printer(
         "kapi_devices_device", "^kapi::devices::device$", KapiDevicesDevicePrinter
     )
diff --git a/kapi/gdb/address.py b/kapi/gdb/address.py
deleted file mode 100644
index 429db1d..0000000
--- a/kapi/gdb/address.py
+++ /dev/null
@@ -1,31 +0,0 @@
-import gdb
-
-
-class KapiMemoryAddressPrinter(gdb.ValuePrinter):
-    def __init__(self, val):
-        self.__val = val
-        self.__type = val.type.template_argument(0)
-
-    def to_string(self):
-        try:
-            raw_address = int(self.__val["m_value"])
-            type_string = str(self.__type)
-
-            if "linear" in type_string:
-                suffix = "%lin"
-            elif "physical" in type_string:
-                suffix = "%phy"
-            else:
-                suffix = "%???"
-
-            return f"{raw_address:#018x}{suffix}"
-        except Exception as e:
-            return f"{self.__val}: {e}"
-
-    def children(self):
-        if "linear" in str(self.__type):
-            pointer_type = gdb.lookup_type("std::byte").pointer()
-            yield ("[bytes]", self.__val["m_value"].cast(pointer_type))
-
-    def display_hint(self):
-        return None
diff --git a/kapi/gdb/device.py b/kapi/gdb/device.py
deleted file mode 100644
index 8e515ef..0000000
--- a/kapi/gdb/device.py
+++ /dev/null
@@ -1,20 +0,0 @@
-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
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
diff --git a/kapi/gdb/memory/__init__.py b/kapi/gdb/memory/__init__.py
new file mode 100644
index 0000000..2aa6564
--- /dev/null
+++ b/kapi/gdb/memory/__init__.py
@@ -0,0 +1,4 @@
+from .address import KapiMemoryAddressPrinter
+from .chunk import KapiMemoryFramePrinter
+from .chunk import KapiMemoryPagePrinter
+from .chunk import KapiMemoryChunkPrinter
diff --git a/kapi/gdb/memory/address.py b/kapi/gdb/memory/address.py
new file mode 100644
index 0000000..429db1d
--- /dev/null
+++ b/kapi/gdb/memory/address.py
@@ -0,0 +1,31 @@
+import gdb
+
+
+class KapiMemoryAddressPrinter(gdb.ValuePrinter):
+    def __init__(self, val):
+        self.__val = val
+        self.__type = val.type.template_argument(0)
+
+    def to_string(self):
+        try:
+            raw_address = int(self.__val["m_value"])
+            type_string = str(self.__type)
+
+            if "linear" in type_string:
+                suffix = "%lin"
+            elif "physical" in type_string:
+                suffix = "%phy"
+            else:
+                suffix = "%???"
+
+            return f"{raw_address:#018x}{suffix}"
+        except Exception as e:
+            return f"{self.__val}: {e}"
+
+    def children(self):
+        if "linear" in str(self.__type):
+            pointer_type = gdb.lookup_type("std::byte").pointer()
+            yield ("[bytes]", self.__val["m_value"].cast(pointer_type))
+
+    def display_hint(self):
+        return None
diff --git a/kapi/gdb/memory/chunk.py b/kapi/gdb/memory/chunk.py
new file mode 100644
index 0000000..74b1407
--- /dev/null
+++ b/kapi/gdb/memory/chunk.py
@@ -0,0 +1,41 @@
+import gdb
+from teachos import format_size
+
+
+class KapiMemoryChunkPrinter(gdb.ValuePrinter):
+
+    def __init__(self, val: gdb.Value, typename="chunk"):
+        self.__val = val
+        try:
+            self.__number = int(val["m_number"])
+        except gdb.error:
+            self.__number = "<number unreadable>"
+
+        try:
+            self.__size = int(gdb.parse_and_eval(f"{val.type.name}::size")["value"])
+        except gdb.error:
+            self.__size = "<size unreadable>"
+
+        self.__typename = typename
+
+    def to_string(self):
+        return f"{self.__typename} {self.__number} of size {format_size(self.__size)}"
+
+    def children(self):
+        yield ("number", self.__number)
+        yield ("size", self.__size)
+
+    def display_hint(self):
+        return None
+
+
+class KapiMemoryFramePrinter(KapiMemoryChunkPrinter):
+
+    def __init__(self, val):
+        super().__init__(val, "frame")
+
+
+class KapiMemoryPagePrinter(KapiMemoryChunkPrinter):
+
+    def __init__(self, val):
+        super().__init__(val, "page")
-- 
cgit v1.2.3