tools/hardware/fdt.py

17     def __init__(self, dtb_file: IO[bytes]):
18         self.fdt = pyfdt.pyfdt.FdtBlobParse(dtb_file).to_fdt()
19         self.wrapped_root: WrappedNode
20         self.by_phandle: Dict[int, WrappedNode] = {}
21         self.by_path: Dict[str, WrappedNode] = {}
22         self.irq_controllers: Dict[int, IrqController] = {}
24         self._walk()
26     def _walk(self):
28         root = self.fdt.get_rootnode()
29         self.wrapped_root = WrappedNode(root, None, '/')
32         self.by_path = {'/': self.wrapped_root}
40             parent = self.by_path[parent_path]
42             self.by_path[name] = wrapped
46             self.by_phandle[wrapped.get_phandle()] = wrapped
51                 self.irq_controllers[wrapped.get_phandle()] = create_irq_controller(wrapped, self)
53     def get_phandle(self, phandle: int) -> WrappedNode:
55         return self.by_phandle[phandle]
57     def get_path(self, path: str) -> WrappedNode:
59         return self.by_path.get(path, None)
61     def get_irq_controller(self, phandle: int) -> IrqController:
63         return self.irq_controllers[phandle]
65     def lookup_alias(self, alias: str) -> str:
68         aliases = self.get_path('/aliases')
76     def get_kernel_devices(self) -> List[WrappedNode]:
77         return self.get_devices_list('seL4,kernel-devices')
79     def get_elfloader_devices(self) -> List[WrappedNode]:
80         return self.get_devices_list('seL4,elfloader-devices')
82     def get_devices_list(self, prop) -> List[WrappedNode]:
84         chosen = self.get_path('/chosen')
93                 path = self.lookup_alias(path)
94             ret.append(self.get_path(path))
97     def get_boot_cpu(self) -> int:
99         chosen = self.get_path('/chosen')
106     def visit(self, visitor: Any):
108         return self.wrapped_root.visit(visitor)