| /seL4-master/tools/hardware/ |
| A D | memory.py | 16 self.base = base
17 self.size = size
24 def __repr__(self): argument
33 self.base + self.size - (1 if self.size > 0 else 0),
37 return self.base == other.base and self.size == other.size
47 return hash((self.base, self.size))
61 return (self.base <= other.base and (self.base + self.size) > other.base) \
68 return [Region(self.base, self.size, self.owner)]
78 self.base + self.size, self.owner))
84 self.base + self.size, self.owner))
[all …]
|
| A D | device.py | 22 self.node = node
23 self.parent = parent
24 self.depth = 0
25 self.path = path
34 parent.add_child(self)
47 return self.props[name]
77 if self.parent is None:
106 sizes = (self.parent.get_addr_cells(), self.parent.get_size_cells())
108 reg.append(Region(self.parent._translate_child_address(r[0]), r[1], self))
138 ret = [visitor(self)]
[all …]
|
| A D | fdt.py | 17 def __init__(self, dtb_file: IO[bytes]): argument
19 self.wrapped_root: WrappedNode
24 self._walk()
26 def _walk(self): argument
28 root = self.fdt.get_rootnode()
32 self.by_path = {'/': self.wrapped_root}
42 self.by_path[name] = wrapped
51 self.irq_controllers[wrapped.get_phandle()] = create_irq_controller(wrapped, self)
55 return self.by_phandle[phandle]
97 def get_boot_cpu(self) -> int: argument
[all …]
|
| A D | config.py | 14 def __init__(self, addrspace_max): argument
15 self.addrspace_max = addrspace_max
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
33 def get_device_page_bits(self) -> int: argument
35 return self.get_page_bits()
52 def get_kernel_phys_align(self) -> int: argument
54 return self.SUPERSECTION_BITS
79 return self.MEGA_PAGE_SIZE
[all …]
|
| A D | irq.py | 16 def parse_irq(self, child, data): argument
27 self.node = node
28 self.tree = tree
30 def get_nexus_addr_cells(self) -> int: argument
36 def get_interrupt_cells(self) -> int: argument
40 def __repr__(self): argument
41 return 'IrqController(node={},kind={})'.format(self.node.path, type(self).__name__)
48 def parse_irq(self, child, data): argument
122 def parse_irq(self, child, data): argument
154 def parse_irq(self, child, data): argument
[all …]
|
| /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
91 return self.kernel_offset + (index * (1 << self.page_bits))
93 def get_desc(self): argument
97 def __repr__(self): argument
101 return other.base == self.base and other.size == self.size
109 self.irq = irq
132 def has_sel(self): argument
140 def __repr__(self): argument
[all …]
|
| /seL4-master/tools/ |
| A D | lex.py | 86 return "LexToken(%s,%r,%d,%d)" % (self.type, self.value, self.lineno, self.lexpos)
97 self.f = f
116 return self
291 self.lexre = self.lexstatere[state]
292 self.lexretext = self.lexstateretext[state]
293 self.lexignore = self.lexstateignore.get(state, "")
294 self.lexerrorf = self.lexstateerrorf.get(state, None)
301 self.lexstatestack.append(self.lexstate)
308 self.begin(self.lexstatestack.pop())
643 self.literals = self.ldict.get("literals", "")
[all …]
|
| A D | bitfield_gen.py | 1321 self.multiple = self.union_size // base
1396 emit_named_ptr_proof("%s_ptr_get_%s" % (self.name, self.tagname), params, self.name,
1765 (self.name, self.name), file=output)
1853 self.base - self.base_bits)) - 1) << self.base_bits
1924 self.base - self.base_bits)) - 1) << self.base_bits
2054 return (self.classes[width] << (self.class_offset % self.base))
2109 self.classes[w] <<= self.tag_offset[w] - self.class_offset
2219 self.multiple = self.size // base
2278 (self.name, name, sign_extend, self.name, self.name,
2469 self.base - self.base_bits)) - 1) << self.base_bits
[all …]
|
| /seL4-master/libsel4/tools/ |
| A D | bitfield_gen.py | 1321 self.multiple = self.union_size // base
1396 emit_named_ptr_proof("%s_ptr_get_%s" % (self.name, self.tagname), params, self.name,
1765 (self.name, self.name), file=output)
1853 self.base - self.base_bits)) - 1) << self.base_bits
1924 self.base - self.base_bits)) - 1) << self.base_bits
2054 return (self.classes[width] << (self.class_offset % self.base))
2109 self.classes[w] <<= self.tag_offset[w] - self.class_offset
2219 self.multiple = self.size // base
2278 (self.name, name, sign_extend, self.name, self.name,
2469 self.base - self.base_bits)) - 1) << self.base_bits
[all …]
|
| A D | syscall_stub_gen.py | 103 self.name = name
105 self.wordsize = wordsize
120 def pass_by_reference(self): argument
121 return self.size_bits > self.wordsize and not self.double_word
130 def pointer(self): argument
135 return PointerType(self, self.wordsize)
172 def pointer(self): argument
194 assert word_num < self.size_bits / self.wordsize
216 self.name = name
217 self.type = type
[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
288 def todo_if_empty(self, s): argument
306 def get_parse_table(self): argument
342 def todo_if_empty(self, s): argument
387 "brief": self.todo_if_empty(self.parse_brief(member)),
408 return '\\' + self.level_to_header(level) + '{' + self.text_escape(name) + '}'
410 def gen_label(self, label): argument
432 def get_parse_table(self): argument
569 "brief": self.todo_if_empty(self.parse_brief(member)),
[all …]
|
| /seL4-master/manual/parts/ |
| A D | cspace.tex | 277 the unreachable CNode's caps to make space for the self-referring
|