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

/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/
H A Dsys_boot.c32 void *dtb; variable
/seL4-test-master/tools/riscv-pk/bbl/
H A Dbbl.c115 void boot_loader(uintptr_t dtb) argument
/seL4-test-master/tools/riscv-pk/pk/
H A Dpk.c163 void boot_loader(uintptr_t dtb) argument
175 void boot_other_hart(uintptr_t dtb) argument
/seL4-test-master/tools/riscv-pk/machine/
H A Dminit.c160 void init_first_hart(uintptr_t hartid, uintptr_t dtb) argument
190 init_other_hart(uintptr_t hartid, uintptr_t dtb) argument
[all...]
/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dcommon.c312 void *dtb = NULL; local
[all...]
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-riscv/
H A Dboot.c61 void *dtb = NULL; variable

Completed in 41 milliseconds