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

/seL4-test-master/tools/riscv-pk/bbl/
H A Dbbl.c89 void boot_other_hart(uintptr_t unused __attribute__((unused))) function
/seL4-test-master/tools/riscv-pk/pk/
H A Dpk.c175 void boot_other_hart(uintptr_t dtb) function

Completed in 29 milliseconds