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

/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Delfloader_common.h38 paddr_t phys_region_end; member in struct:image_info

Completed in 81 milliseconds