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/boot_modules | |
| parent | 8ec011d9f5ad79c1e951127d3906a08e282649d1 (diff) | |
| download | kernel-2cb7a2575e8eb46df36dae108fae661b91801540.tar.xz kernel-2cb7a2575e8eb46df36dae108fae661b91801540.zip | |
debug: add pretty printer for boot modules registry
Diffstat (limited to 'kapi/gdb/boot_modules')
| -rw-r--r-- | kapi/gdb/boot_modules/__init__.py | 1 | ||||
| -rw-r--r-- | kapi/gdb/boot_modules/boot_module.py | 4 | ||||
| -rw-r--r-- | kapi/gdb/boot_modules/boot_module_registry.py | 20 |
3 files changed, 23 insertions, 2 deletions
diff --git a/kapi/gdb/boot_modules/__init__.py b/kapi/gdb/boot_modules/__init__.py index fedab65..2a54136 100644 --- a/kapi/gdb/boot_modules/__init__.py +++ b/kapi/gdb/boot_modules/__init__.py @@ -1 +1,2 @@ from .boot_module import KapiBootModulesBootModulePrinter +from .boot_module_registry import KapiBootModulesBootModuleRegistryPrinter diff --git a/kapi/gdb/boot_modules/boot_module.py b/kapi/gdb/boot_modules/boot_module.py index f0d558b..b26ecf1 100644 --- a/kapi/gdb/boot_modules/boot_module.py +++ b/kapi/gdb/boot_modules/boot_module.py @@ -9,10 +9,10 @@ class KapiBootModulesBootModulePrinter(gdb.ValuePrinter): self.__start = val["start_address"] self.__size = val["size"] self.__pointer_type = gdb.lookup_type("std::byte").pointer() - self.__pretty_name = self.__name if str(self.__name) != '""' else "<no name>" + self.__pretty_name = " " + str(self.__name) if str(self.__name) != '""' else "" def to_string(self): - return f"boot module {self.__pretty_name} of size {format_size(int(self.__size))}, at {self.__start.cast(self.__pointer_type)}" + return f"boot module{self.__pretty_name} of size {format_size(int(self.__size))}, at {self.__start.cast(self.__pointer_type)}" def children(self): yield ("name", self.__name) diff --git a/kapi/gdb/boot_modules/boot_module_registry.py b/kapi/gdb/boot_modules/boot_module_registry.py new file mode 100644 index 0000000..599a823 --- /dev/null +++ b/kapi/gdb/boot_modules/boot_module_registry.py @@ -0,0 +1,20 @@ +import gdb +from teachos import format_size + + +class KapiBootModulesBootModuleRegistryPrinter(gdb.ValuePrinter): + def __init__(self, val: gdb.Value): + self.__val = val + self.__modules = val["m_modules"] + self.__size = int(self.__modules["m_size"]) + self.__element_type = gdb.lookup_type("kapi::boot_modules::boot_module") + + def to_string(self): + return f"boot module registry of size {self.__size}" + + def children(self): + yield ("[size]", self.__size) + yield ("m_modules", self.__modules) + + def display_hint(self): + return None |
