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

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c44 #define KEEP_HEADERS_SIZE BIT(PAGE_BITS) macro
252 dest_paddr += KEEP_HEADERS_SIZE;
401 total_user_image_size += KEEP_HEADERS_SIZE;
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c44 #define KEEP_HEADERS_SIZE BIT(PAGE_BITS) macro
252 dest_paddr += KEEP_HEADERS_SIZE;
401 total_user_image_size += KEEP_HEADERS_SIZE;

Completed in 33 milliseconds