blob: e215dd3a3bf8023f84ecc54872fd9e6d2c833b88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
import gdb
class KapiFilesystemDeviceNumberPrinter(gdb.ValuePrinter):
def __init__(self, val):
self.__val = val
def to_string(self):
try:
major = int(self.__val["major"])
minor = int(self.__val["minor"])
return f"{major}:{minor}"
except (gdb.error, AttributeError):
return "<device_number ?>"
def children(self):
yield ("major", self.__val["major"])
yield ("minor", self.__val["minor"])
def display_hint(self):
return None
|
