1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
import gdb.printing
from .boot_modules import *
from .devices import *
from .memory import *
def build_pretty_printers():
pp = gdb.printing.RegexpCollectionPrettyPrinter("kapi")
pp.add_printer(
"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
)
pp.add_printer(
"kapi_boot_modules_boot_module",
"^kapi::boot_modules::boot_module$",
KapiBootModulesBootModulePrinter,
)
pp.add_printer(
"kapi_boot_modules_boot_module_registry",
"^kapi::boot_modules::boot_module_registry$",
KapiBootModulesBootModuleRegistryPrinter,
)
return pp
def register_printers(objfile):
gdb.printing.register_pretty_printer(objfile, build_pretty_printers(), replace=True)
|
