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

/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/
H A Dsys_boot.c33 uint32_t dtb_size; variable
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py156 dtb_size = entry.size variable
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-riscv/
H A Dboot.c62 uint32_t dtb_size = 0; variable

Completed in 46 milliseconds