Searched defs:int (Results 1 – 6 of 6) sorted by relevance
| /seL4-master/tools/hardware/ |
| A D | device.py | 150 def _translate_child_address(self, addr: int) -> int:
174 def translate_address(node: WrappedNode, addr: int) -> int:
211 def make_number(cells: int, array: List[int]) -> int:
219 def intarray_iter(array: List[int], sizes: Tuple[int, ...]) -> Generator[List[int], None, None]:
|
| A D | fdt.py | 53 def get_phandle(self, phandle: int) -> WrappedNode:
61 def get_irq_controller(self, phandle: int) -> IrqController:
|
| A D | memory.py | 15 def __init__(self, base: int, size: int, owner: 'WrappedNode' = None):
|
| A D | config.py | 106 def get_arch_config(arch: str, addrspace_max: int) -> Config:
|
| /seL4-master/tools/hardware/utils/ |
| A D | rule.py | 40 …def __init__(self, region: Region, kernel_name: str, page_bits: int, max_size: int, condition_macr…
107 …def __init__(self, label: str, irq: int, prio: int = 0, sel_macro: str = None, false_irq: int = -1…
|
| /seL4-master/tools/hardware/outputs/ |
| A D | c_header.py | 180 kernel_regions: List, physBase: int, physical_memory,
|
Completed in 9 milliseconds