Searched refs:has_dtb_cpio (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c296 int has_dtb_cpio = 0; local
327 has_dtb_cpio = 1;
384 if (has_dtb_cpio) {
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c296 int has_dtb_cpio = 0; local
327 has_dtb_cpio = 1;
384 if (has_dtb_cpio) {

Completed in 31 milliseconds