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

/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c59 sl_roundup_page(int addr) function
195 int windowEnd = sl_roundup_page(si.vaddr + si.fileSize);
233 zeroSegment = sl_roundup_page(zeroSegment);
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c59 sl_roundup_page(int addr) function
195 int windowEnd = sl_roundup_page(si.vaddr + si.fileSize);
233 zeroSegment = sl_roundup_page(zeroSegment);

Completed in 80 milliseconds