Searched refs:get_boot_cpu (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/kernel/tools/hardware/
H A Dfdt.py97 def get_boot_cpu(self) -> int: member in class:FdtParser
/seL4-refos-master/kernel/tools/hardware/utils/
H A Drule.py208 boot_cpu = tree.get_boot_cpu()

Completed in 77 milliseconds