Searched refs:make_number (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/tools/hardware/
H A Dirq.py66 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 Ddevice.py114 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 Delfloader.py128 device.Utils.make_number(2, list(cpu_node.get_prop('cpu-release-addr').words)))

Completed in 35 milliseconds