Searched refs:dtb_end (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/tools/seL4/cmake-tool/helpers/ | ||
| H A D | shoehorn.py | 182 dtb_end = elf_sift.get_aligned_size(dtb_start + dtb_size) variable 183 marker = dtb_end 184 debug_marker_set(marker, 'dtb_end') |
Completed in 22 milliseconds