diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-05-10 12:18:01 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-05-10 12:18:01 +0200 |
| commit | 2cb7a2575e8eb46df36dae108fae661b91801540 (patch) | |
| tree | 261e172ed30f899b59278bdf89dc445be88872d1 /kapi/gdb/__init__.py | |
| parent | 8ec011d9f5ad79c1e951127d3906a08e282649d1 (diff) | |
| download | kernel-2cb7a2575e8eb46df36dae108fae661b91801540.tar.xz kernel-2cb7a2575e8eb46df36dae108fae661b91801540.zip | |
debug: add pretty printer for boot modules registry
Diffstat (limited to 'kapi/gdb/__init__.py')
| -rw-r--r-- | kapi/gdb/__init__.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/kapi/gdb/__init__.py b/kapi/gdb/__init__.py index 88b1d05..1b36753 100644 --- a/kapi/gdb/__init__.py +++ b/kapi/gdb/__init__.py @@ -23,6 +23,11 @@ def build_pretty_printers(): "^kapi::boot_modules::boot_module$", KapiBootModulesBootModulePrinter, ) + pp.add_printer( + "kapi_boot_modules_boot_module_registry", + "^kapi::boot_modules::boot_module_registry$", + KapiBootModulesBootModuleRegistryPrinter, + ) return pp |