aboutsummaryrefslogtreecommitdiff
path: root/kapi
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-05-08 17:12:24 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-05-08 17:12:24 +0200
commit07fb219869099c719b0fbfeae81b95512487639e (patch)
tree87c7bc3c6d6d3897bf8853c0bf6291ba136277c5 /kapi
parentfb09cd6633b26ef2cfb4f21b8cd852611cfe59d8 (diff)
downloadkernel-07fb219869099c719b0fbfeae81b95512487639e.tar.xz
kernel-07fb219869099c719b0fbfeae81b95512487639e.zip
debug: add page and frame formatters
Diffstat (limited to 'kapi')
-rw-r--r--kapi/gdb/__init__.py9
-rw-r--r--kapi/gdb/devices/__init__.py1
-rw-r--r--kapi/gdb/devices/device.py (renamed from kapi/gdb/device.py)0
-rw-r--r--kapi/gdb/memory/__init__.py4
-rw-r--r--kapi/gdb/memory/address.py (renamed from kapi/gdb/address.py)0
-rw-r--r--kapi/gdb/memory/chunk.py41
6 files changed, 53 insertions, 2 deletions
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():
@@ -10,6 +10,11 @@ def build_pretty_printers():
"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
)
return pp
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/device.py b/kapi/gdb/devices/device.py
index 8e515ef..8e515ef 100644
--- a/kapi/gdb/device.py
+++ b/kapi/gdb/devices/device.py
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/address.py b/kapi/gdb/memory/address.py
index 429db1d..429db1d 100644
--- a/kapi/gdb/address.py
+++ b/kapi/gdb/memory/address.py
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")