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

/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py30 def get_memory_usage(elf_file: BinaryIO, align: bool) -> int: function
H A Dshoehorn.py175 kernel_size = elf_sift.get_memory_usage(kernel_elf, align=True)
202 marker += elf_sift.get_memory_usage(elf, align=True)

Completed in 77 milliseconds