| /seL4-master/tools/hardware/ |
| A D | device.py | 53 def get_phandle(self) -> int:
60 def get_interrupt_parent(self) -> int:
70 def recursive_get_addr_cells(self) -> int:
82 def get_addr_cells(self) -> int:
91 def get_size_cells(self) -> int:
111 def parse_address(self, array) -> int:
131 def get_interrupt_affinities(self) -> List[int]:
150 def _translate_child_address(self, addr: int) -> int: argument
174 def translate_address(node: WrappedNode, addr: int) -> int: argument
211 def make_number(cells: int, array: List[int]) -> int: argument
[all …]
|
| A D | config.py | 17 def get_kernel_phys_align(self) -> int:
21 def get_bootloader_reserve(self) -> int:
26 def get_page_bits(self) -> int:
30 def get_smallest_kernel_object_alignment(self) -> int:
33 def get_device_page_bits(self) -> int:
52 def get_kernel_phys_align(self) -> int:
76 def get_bootloader_reserve(self) -> int:
96 def get_device_page_bits(self) -> int:
106 def get_arch_config(arch: str, addrspace_max: int) -> Config: argument
|
| A D | fdt.py | 20 self.by_phandle: Dict[int, WrappedNode] = {}
22 self.irq_controllers: Dict[int, IrqController] = {}
53 def get_phandle(self, phandle: int) -> WrappedNode: argument
61 def get_irq_controller(self, phandle: int) -> IrqController: argument
97 def get_boot_cpu(self) -> int:
|
| A D | memory.py | 15 def __init__(self, base: int, size: int, owner: 'WrappedNode' = None): argument
|
| A D | irq.py | 30 def get_nexus_addr_cells(self) -> int:
36 def get_interrupt_cells(self) -> int:
|
| /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… argument
107 …def __init__(self, label: str, irq: int, prio: int = 0, sel_macro: str = None, false_irq: int = -1… argument
149 self.regions: Dict[int, Dict] = {}
201 elif type(rule) == int:
|
| /seL4-master/tools/ |
| A D | reciprocal.py | 42 parser.add_argument("--divisor", type=int, required=True,
54 if int(q1) != q2:
|
| A D | circular_includes.py | 47 depth = int(match.group(1))
|
| A D | hardware_gen.py | 78 … help='maximum address that is available as device untyped', type=int, default=32)
|
| A D | lex.py | 540 m = int(len(relist)/2)
|
| A D | bitfield_gen.py | 112 t.value = int(t.value, 0)
|
| /seL4-master/tools/hardware/outputs/ |
| A D | yaml.py | 31 int,
|
| A D | c_header.py | 180 kernel_regions: List, physBase: int, physical_memory, argument
|
| /seL4-master/ |
| A D | gdb-macros | 157 set $cnode = ((cte_t *)((unsigned int)ksCurThread&~((1<<9)-1)))
166 set $cnode = ((cte_t *)((unsigned int)($arg0)&~((1<<9)-1)))
317 set $result = ((cte_t *)(((unsigned int) $arg0 )&~((1<<10)-1))) + $arg1
401 set $capptr = (int)$arg1
402 set $n_bits = (int)$arg2
667 set $var = (unsigned int)$arg0
714 set $address = (unsigned long long int)$arg1
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_stub_gen.py | 1095 wordsize = int(line.split('=')[1].strip())
1100 wordsize = int(args.wsize)
|
| A D | bitfield_gen.py | 112 t.value = int(t.value, 0)
|
| /seL4-master/manual/tools/ |
| A D | parse_doxygen_xml.py | 636 parser.add_argument("-l", "--level", type=int,
|
| /seL4-master/tools/dts/ |
| A D | rockpro64.dts | 2535 sdio0-int {
2938 fusb0-int {
2959 pmic-int-l {
|
| A D | allwinnerA20.dts | 1222 regulator-name = "vdd-int-dll";
|
| A D | am335x-bone.dts | 1437 clock-names = "ext-clk\0int-clk";
|
| A D | am335x-boneblack.dts | 1480 clock-names = "ext-clk\0int-clk";
|
| A D | am335x-boneblue.dts | 1481 clock-names = "ext-clk\0int-clk";
|
| A D | wandq.dts | 1923 mux-int-port = < 0x01 >;
|
| A D | sabre.dts | 2116 mux-int-port = < 0x01 >;
|
| A D | exynos5422.dts | 1483 sd1-int {
|