Searched defs:WrappedNode (Results 1 – 6 of 6) sorted by relevance
| /seL4-master/tools/hardware/utils/ |
| A D | memory.py | 21 def visitor(node: WrappedNode):
58 def parse_reserved_regions(node: WrappedNode) -> Set[Region]:
|
| A D | rule.py | 157 def get_regions(self, node: WrappedNode) -> List[KernelRegionGroup]:
183 def get_interrupts(self, tree: FdtParser, node: WrappedNode) -> List[KernelInterrupt]:
225 def get_rule(self, device: WrappedNode) -> DeviceRule:
238 def get_matched_compatible(self, device: WrappedNode) -> str:
|
| /seL4-master/tools/hardware/ |
| A D | device.py | 16 class WrappedNode: class
21 def __init__(self, node: pyfdt.pyfdt.FdtNode, parent: 'WrappedNode', path: str):
41 def add_child(self, child: 'WrappedNode'):
174 def translate_address(node: WrappedNode, addr: int) -> int:
|
| A D | irq.py | 26 def __init__(self, node: WrappedNode, tree: 'FdtParser'):
193 def create_irq_controller(node: WrappedNode, tree: 'FdtParser'):
|
| A D | memory.py | 15 def __init__(self, base: int, size: int, owner: 'WrappedNode' = None):
|
| /seL4-master/tools/hardware/outputs/ |
| A D | elfloader.py | 102 def get_elfloader_cpus(tree: fdt.FdtParser, devices: List[device.WrappedNode]) -> List[dict]:
|
Completed in 13 milliseconds