Searched refs:get_path (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/tools/hardware/utils/
H A Dcpu.py18 cpus_node = tree.get_path('/cpus')
H A Dmemory.py91 reserved = parse_reserved_regions(tree.get_path('/reserved-memory'))
/seL4-camkes-master/kernel/tools/hardware/
H A Dfdt.py57 def get_path(self, path: str) -> WrappedNode: member in class:FdtParser
68 aliases = self.get_path('/aliases')
84 chosen = self.get_path('/chosen')
94 ret.append(self.get_path(path))
99 chosen = self.get_path('/chosen')

Completed in 40 milliseconds