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

/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/
H A Dsys_boot.c32 void *dtb; variable
/seL4-camkes-master/tools/riscv-pk/bbl/
H A Dbbl.c115 void boot_loader(uintptr_t dtb) argument
/seL4-camkes-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-camkes-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-camkes-master/tools/seL4/elfloader-tool/src/
H A Dcommon.c312 void *dtb = NULL; local
[all...]
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-riscv/
H A Dboot.c61 void *dtb = NULL; variable
/seL4-camkes-master/projects/projects_libs/libfdtgen/
H A Dfdtgen.c86 void *dtb = handle->buffer; local
103 void *dtb = handle->buffer; local
151 void *dtb = handle->buffer; local
174 void *dtb = handle->buffer; local
194 void *dtb = handle->buffer; local
206 void *dtb = handle->buffer; local
237 void *dtb = handle->buffer; local
264 void *dtb = handle->buffer; local
306 void *dtb = handle->buffer; local
[all...]

Completed in 149 milliseconds