Searched refs:get_load_bounds (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/capdl/cdl_utils/ | ||
H A D | untyped_gen.py | 94 def get_load_bounds(elf): function 126 kernel_region = get_load_bounds(kernel_elf) |
Completed in 78 milliseconds