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/__init__.py | |
| parent | fb09cd6633b26ef2cfb4f21b8cd852611cfe59d8 (diff) | |
| download | kernel-07fb219869099c719b0fbfeae81b95512487639e.tar.xz kernel-07fb219869099c719b0fbfeae81b95512487639e.zip | |
debug: add page and frame formatters
Diffstat (limited to 'kapi/gdb/__init__.py')
| -rw-r--r-- | kapi/gdb/__init__.py | 9 |
1 files changed, 7 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 |