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

/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c195 int windowEnd = sl_roundup_page(si.vaddr + si.fileSize); local
196 assert(windowEnd > si.vaddr && si.vaddr + si.fileSize <= windowEnd);
197 int windowSize = windowEnd - si.vaddr;
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c195 int windowEnd = sl_roundup_page(si.vaddr + si.fileSize); local
196 assert(windowEnd > si.vaddr && si.vaddr + si.fileSize <= windowEnd);
197 int windowSize = windowEnd - si.vaddr;

Completed in 37 milliseconds