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

/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py49 def debug_marker_set(mark: int, obj: str): function
170 debug_marker_set(marker, 'region {} start'.format(region_counter))
178 debug_marker_set(marker, 'kernel_end')
184 debug_marker_set(marker, 'dtb_end')
203 debug_marker_set(marker, 'end of rootserver')
209 debug_marker_set(marker, 'end of (aligned) fudge factor')

Completed in 28 milliseconds