Searched refs:get_prop (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/kernel/tools/hardware/utils/
H A Dcpu.py22 if node.has_prop('device_type') and node.get_prop('device_type').strings[0] == 'cpu':
H A Drule.py231 for compat in device.get_prop('compatible').strings:
236 ', '.join(device.get_prop('compatible').strings), device.path))
243 for compat in device.get_prop('compatible').strings:
H A Dmemory.py23 if node.has_prop('device_type') and node.get_prop('device_type').strings[0] == 'memory':
/seL4-camkes-master/kernel/tools/hardware/outputs/
H A Delfloader.py106 and n.get_prop('compatible').strings[0] in PSCI_COMPAT]
117 enable_method = cpu_node.get_prop('enable-method').strings[0]
121 cpuid = cpu_node.parse_address(list(cpu_node.get_prop('reg').words))
125 extra_data = 'PSCI_METHOD_' + psci_node.get_prop('method').strings[0].upper()
128 device.Utils.make_number(2, list(cpu_node.get_prop('cpu-release-addr').words)))
131 'compat': cpu_node.get_prop('compatible').strings[0],
/seL4-camkes-master/kernel/tools/hardware/
H A Dirq.py37 return self.node.get_prop('#interrupt-cells').words[0]
57 nexus_data = list(self.node.get_prop('interrupt-map').words)
66 addr = Utils.make_number(child_addr_cells, list(child.get_prop('reg').words))
77 masks = list(self.node.get_prop('interrupt-map-mask').words)
195 for compat in node.get_prop('compatible').strings:
H A Dfdt.py73 prop = aliases.get_prop(alias)
89 paths = chosen.get_prop(prop).strings
103 prop = chosen.get_prop('seL4,boot-cpu')
H A Ddevice.py45 def get_prop(self, name: str) -> pyfdt.pyfdt.FdtProperty: member in class:WrappedNode
134 return list(self.get_prop('interrupt-affinity').words)
178 device_type = cast(pyfdt.pyfdt.FdtPropertyStrings, node.get_prop(
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py101 def get_prop(self): function in function:ast_property.prop_class_decorator
121 prop = property(get_prop, set_prop, fdel)

Completed in 92 milliseconds