Searched refs:get_prop (Results 1 - 8 of 8) sorted by relevance
/seL4-camkes-master/kernel/tools/hardware/utils/ |
H A D | cpu.py | 22 if node.has_prop('device_type') and node.get_prop('device_type').strings[0] == 'cpu':
|
H A D | rule.py | 231 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 D | memory.py | 23 if node.has_prop('device_type') and node.get_prop('device_type').strings[0] == 'memory':
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 106 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 D | irq.py | 37 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 D | fdt.py | 73 prop = aliases.get_prop(alias) 89 paths = chosen.get_prop(prop).strings 103 prop = chosen.get_prop('seL4,boot-cpu')
|
H A D | device.py | 45 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 D | objects.py | 101 def get_prop(self): function in function:ast_property.prop_class_decorator 121 prop = property(get_prop, set_prop, fdel)
|
Completed in 92 milliseconds