| /seL4-master/tools/hardware/ |
| A D | device.py | 41 def add_child(self, child: 'WrappedNode'): argument
49 def has_prop(self, name: str) -> bool: argument
53 def get_phandle(self) -> int: argument
60 def get_interrupt_parent(self) -> int: argument
66 def is_mmio_device(self) -> bool: argument
82 def get_addr_cells(self) -> int: argument
91 def get_size_cells(self) -> int: argument
100 def get_regions(self) -> List[Region]: argument
111 def parse_address(self, array) -> int: argument
136 def visit(self, visitor: Any): argument
[all …]
|
| A D | fdt.py | 17 def __init__(self, dtb_file: IO[bytes]): argument
26 def _walk(self): argument
53 def get_phandle(self, phandle: int) -> WrappedNode: argument
57 def get_path(self, path: str) -> WrappedNode: argument
61 def get_irq_controller(self, phandle: int) -> IrqController: argument
65 def lookup_alias(self, alias: str) -> str: argument
76 def get_kernel_devices(self) -> List[WrappedNode]: argument
79 def get_elfloader_devices(self) -> List[WrappedNode]: argument
82 def get_devices_list(self, prop) -> List[WrappedNode]: argument
97 def get_boot_cpu(self) -> int: argument
[all …]
|
| A D | config.py | 14 def __init__(self, addrspace_max): argument
17 def get_kernel_phys_align(self) -> int: argument
21 def get_bootloader_reserve(self) -> int: argument
26 def get_page_bits(self) -> int: argument
30 def get_smallest_kernel_object_alignment(self) -> int: argument
33 def get_device_page_bits(self) -> int: argument
37 def align_memory(self, regions: Set[Region]) -> List[Region]: argument
52 def get_kernel_phys_align(self) -> int: argument
56 def align_memory(self, regions: Set[Region]) -> List[Region]: argument
76 def get_bootloader_reserve(self) -> int: argument
[all …]
|
| A D | memory.py | 24 def __repr__(self): argument
29 def __str__(self): argument
36 def __eq__(self, other): argument
39 def __ne__(self, other): argument
43 def __gt__(self, other): argument
46 def __hash__(self): argument
57 def overlaps(self, other): argument
64 def reserve(self, excluded): argument
87 def align_base(self, align_bits): argument
99 def align_size(self, align_bits): argument
[all …]
|
| A D | irq.py | 16 def parse_irq(self, child, data): argument
26 def __init__(self, node: WrappedNode, tree: 'FdtParser'): argument
30 def get_nexus_addr_cells(self) -> int: argument
36 def get_interrupt_cells(self) -> int: argument
40 def __repr__(self): argument
48 def parse_irq(self, child, data): argument
122 def parse_irq(self, child, data): argument
154 def parse_irq(self, child, data): argument
166 def parse_irq(self, child, data): argument
|
| /seL4-master/tools/hardware/utils/ |
| A D | rule.py | 55 def has_macro(self): argument
67 def get_macro(self): argument
71 def get_endif(self): argument
93 def get_desc(self): argument
97 def __repr__(self): argument
100 def __eq__(self, other): argument
120 def has_enable(self): argument
124 def get_enable_endif(self): argument
132 def has_sel(self): argument
136 def get_sel_endif(self): argument
[all …]
|
| /seL4-master/manual/tools/ |
| A D | parse_doxygen_xml.py | 24 def get_parse_table(self): argument
51 def text_escape(self, string): argument
146 def parse_brief(self, parent): argument
248 def build_ref_dict(self, soup): argument
288 def todo_if_empty(self, s): argument
306 def get_parse_table(self): argument
342 def todo_if_empty(self, s): argument
410 def gen_label(self, label): argument
432 def get_parse_table(self): argument
493 def todo_if_empty(self, s): argument
[all …]
|
| /seL4-master/tools/ |
| A D | lex.py | 85 def __str__(self): argument
88 def __repr__(self): argument
96 def __init__(self, f): argument
137 def __init__(self): argument
276 def input(self, s): argument
307 def pop_state(self): argument
319 def skip(self, n): argument
329 def token(self): argument
430 def __iter__(self): argument
433 def next(self): argument
[all …]
|
| A D | bitfield_gen.py | 1279 def resolve(self, params, symtab): argument
1562 def generate_hol_defs(self, params): argument
1744 def generate(self, params): argument
1971 def make_names(self): argument
1996 def represent_class(self, width): argument
2003 def represent_field(self, width): argument
2049 def word_classmask(self, width): argument
2056 def make_classes(self, params): argument
2433 def generate(self, params): argument
2576 def make_names(self, union=None): argument
[all …]
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_stub_gen.py | 120 def pass_by_reference(self): argument
123 def render_parameter_name(self, name): argument
130 def pointer(self): argument
137 def c_expression(self, var_name, word_num=0): argument
161 def __init__(self, base_type, wordsize): argument
165 def render_parameter_name(self, name): argument
168 def c_expression(self, var_name, word_num=0): argument
172 def pointer(self): argument
181 def __init__(self, name, wordsize): argument
215 def __init__(self, name, type): argument
[all …]
|
| A D | bitfield_gen.py | 1279 def resolve(self, params, symtab): argument
1562 def generate_hol_defs(self, params): argument
1744 def generate(self, params): argument
1971 def make_names(self): argument
1996 def represent_class(self, width): argument
2003 def represent_field(self, width): argument
2049 def word_classmask(self, width): argument
2056 def make_classes(self, params): argument
2433 def generate(self, params): argument
2576 def make_names(self, union=None): argument
[all …]
|