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

/seL4-camkes-master/kernel/tools/hardware/
H A Dfdt.py97 def get_boot_cpu(self) -> int: member in class:FdtParser

Completed in 41 milliseconds