Searched refs:has_prop (Results 1 - 7 of 7) 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 Dmemory.py23 if node.has_prop('device_type') and node.get_prop('device_type').strings[0] == 'memory':
37 if child.has_prop('reg') and child.has_prop('no-map'):
H A Drule.py227 if not device.has_prop('compatible'):
240 if not device.has_prop('compatible'):
/seL4-camkes-master/kernel/tools/hardware/
H A Dfdt.py50 if wrapped.has_prop('interrupt-controller') or wrapped.has_prop('interrupt-map'):
70 if aliases is None or not aliases.has_prop(alias):
85 if not chosen.has_prop(prop):
100 if not chosen.has_prop('seL4,boot-cpu'):
H A Dirq.py31 if self.node.has_prop('#address-cells'):
65 if child.has_prop('reg'):
76 if self.node.has_prop('interrupt-map-mask'):
190 if node.has_prop('interrupt-map'):
193 elif node.has_prop('compatible'):
H A Ddevice.py49 def has_prop(self, name: str) -> bool: member in class:WrappedNode
132 if not self.has_prop('interrupt-affinity'):
179 'device_type')).strings[0] if node.has_prop('device_type') else None
/seL4-camkes-master/kernel/tools/hardware/outputs/
H A Delfloader.py105 psci_node = [n for n in devices if n.has_prop('compatible')
116 if cpu_node.has_prop('enable-method'):
120 if cpu_node.has_prop('reg'):

Completed in 43 milliseconds