Searched refs:get_kernel_devices (Results 1 - 4 of 4) sorted by path

/seL4-refos-master/kernel/tools/hardware/
H A Dfdt.py76 def get_kernel_devices(self) -> List[WrappedNode]: member in class:FdtParser
/seL4-refos-master/kernel/tools/hardware/outputs/
H A Dc_header.py112 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml): function
117 kernel_devices = tree.get_kernel_devices()
140 kernel_devices = tree.get_kernel_devices()
166 kernel_regions, kernel_macros = get_kernel_devices(tree, hardware)
H A Dcompat_strings.py18 chosen = tree.get_kernel_devices()
H A Dyaml.py16 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml): function
17 kernel_devices = tree.get_kernel_devices()
32 kernel_devs = get_kernel_devices(tree, hardware)

Completed in 46 milliseconds