diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-09-30 13:10:21 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-09-30 13:10:21 +0200 |
| commit | 8bec65ba723c9c628d934ec02021d5ce09c01105 (patch) | |
| tree | 2eec65a312bf523bbe94811f1b8c9f904d07327b /kapi | |
| parent | 83f264c22326ae37a0eb38284935a32895a48efb (diff) | |
| download | kernel-8bec65ba723c9c628d934ec02021d5ce09c01105.tar.xz kernel-8bec65ba723c9c628d934ec02021d5ce09c01105.zip | |
chore: clean up python scripts
Diffstat (limited to 'kapi')
| -rw-r--r-- | kapi/gdb/__init__.py | 6 | ||||
| -rw-r--r-- | kapi/gdb/boot_modules/boot_module.py | 2 | ||||
| -rw-r--r-- | kapi/gdb/boot_modules/boot_module_registry.py | 2 | ||||
| -rw-r--r-- | kapi/gdb/devices/device.py | 2 | ||||
| -rw-r--r-- | kapi/gdb/devices/resource.py | 2 | ||||
| -rw-r--r-- | kapi/gdb/filesystem/device_number.py | 2 | ||||
| -rw-r--r-- | kapi/gdb/memory/address.py | 2 | ||||
| -rw-r--r-- | kapi/gdb/memory/chunk.py | 2 |
8 files changed, 10 insertions, 10 deletions
diff --git a/kapi/gdb/__init__.py b/kapi/gdb/__init__.py index c48db922..5d411a0e 100644 --- a/kapi/gdb/__init__.py +++ b/kapi/gdb/__init__.py @@ -1,4 +1,4 @@ -import gdb.printing +import gdb.printing # pyright: ignore[reportMissingModuleSource] from .boot_modules import * from .devices import * @@ -40,5 +40,5 @@ def build_pretty_printers(): return pp -def register_printers(objfile): - gdb.printing.register_pretty_printer(objfile, build_pretty_printers(), replace=True) +def register_printers(object_file): + gdb.printing.register_pretty_printer(object_file, build_pretty_printers(), replace=True) diff --git a/kapi/gdb/boot_modules/boot_module.py b/kapi/gdb/boot_modules/boot_module.py index 97e6584b..cd45e4c0 100644 --- a/kapi/gdb/boot_modules/boot_module.py +++ b/kapi/gdb/boot_modules/boot_module.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] from teachos import format_size diff --git a/kapi/gdb/boot_modules/boot_module_registry.py b/kapi/gdb/boot_modules/boot_module_registry.py index 599a8234..262d46f3 100644 --- a/kapi/gdb/boot_modules/boot_module_registry.py +++ b/kapi/gdb/boot_modules/boot_module_registry.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] from teachos import format_size diff --git a/kapi/gdb/devices/device.py b/kapi/gdb/devices/device.py index 18c6e166..d378759a 100644 --- a/kapi/gdb/devices/device.py +++ b/kapi/gdb/devices/device.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] class KapiDevicesDevicePrinter(gdb.ValuePrinter): diff --git a/kapi/gdb/devices/resource.py b/kapi/gdb/devices/resource.py index dd5fd320..96d64d41 100644 --- a/kapi/gdb/devices/resource.py +++ b/kapi/gdb/devices/resource.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] # Map from the resource_type enum integer value to a readable name. diff --git a/kapi/gdb/filesystem/device_number.py b/kapi/gdb/filesystem/device_number.py index e215dd3a..ae3111af 100644 --- a/kapi/gdb/filesystem/device_number.py +++ b/kapi/gdb/filesystem/device_number.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] class KapiFilesystemDeviceNumberPrinter(gdb.ValuePrinter): diff --git a/kapi/gdb/memory/address.py b/kapi/gdb/memory/address.py index 429db1de..3eb03575 100644 --- a/kapi/gdb/memory/address.py +++ b/kapi/gdb/memory/address.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] class KapiMemoryAddressPrinter(gdb.ValuePrinter): diff --git a/kapi/gdb/memory/chunk.py b/kapi/gdb/memory/chunk.py index 74b1407f..5912636d 100644 --- a/kapi/gdb/memory/chunk.py +++ b/kapi/gdb/memory/chunk.py @@ -1,4 +1,4 @@ -import gdb +import gdb # pyright: ignore[reportMissingModuleSource] from teachos import format_size |