Searched refs:make_number (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/kernel/tools/hardware/ |
H A D | irq.py | 66 addr = Utils.make_number(child_addr_cells, list(child.get_prop('reg').words)) 70 specifier = Utils.make_number(child_interrupt_cells, data) 78 addr_mask = Utils.make_number(child_addr_cells, masks) 79 spec_mask = Utils.make_number(child_interrupt_cells, masks) 88 ent_addr = Utils.make_number(child_addr_cells, nexus_data) & addr_mask 90 ent_spec = Utils.make_number(child_interrupt_cells, nexus_data) & spec_mask
|
H A D | device.py | 114 return Utils.make_number(size, array) 201 child_addr = Utils.make_number(child_addr_cells, data) 202 parent_addr = Utils.make_number(parent_addr_cells, data) 203 length = Utils.make_number(size_cells, data) 211 def make_number(cells: int, array: List[int]) -> int: member in class:Utils 223 res.append(Utils.make_number(sizes[i], array))
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 128 device.Utils.make_number(2, list(cpu_node.get_prop('cpu-release-addr').words)))
|
Completed in 35 milliseconds