diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-05-08 17:12:24 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-05-08 17:12:24 +0200 |
| commit | 07fb219869099c719b0fbfeae81b95512487639e (patch) | |
| tree | 87c7bc3c6d6d3897bf8853c0bf6291ba136277c5 /kapi/gdb | |
| parent | fb09cd6633b26ef2cfb4f21b8cd852611cfe59d8 (diff) | |
| download | kernel-07fb219869099c719b0fbfeae81b95512487639e.tar.xz kernel-07fb219869099c719b0fbfeae81b95512487639e.zip | |
debug: add page and frame formatters
Diffstat (limited to 'kapi/gdb')
| -rw-r--r-- | kapi/gdb/__init__.py | 9 | ||||
| -rw-r--r-- | kapi/gdb/devices/__init__.py | 1 | ||||
| -rw-r--r-- | kapi/gdb/devices/device.py (renamed from kapi/gdb/device.py) | 0 | ||||
| -rw-r--r-- | kapi/gdb/memory/__init__.py | 4 | ||||
| -rw-r--r-- | kapi/gdb/memory/address.py (renamed from kapi/gdb/address.py) | 0 | ||||
| -rw-r--r-- | kapi/gdb/memory/chunk.py | 41 |
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") |
