selfloader/src/selfloader.c

91    @param windowSize The size of zero segment region window. Could be slightly different to the
99 sl_create_zero_segment(seL4_Word start, seL4_Word size, seL4_Word windowSize, sl_dataspace_t *out)
110     dprintf("Loading zero segment 0x%08x --> 0x%08x \n", start, start + windowSize);
122     elfSegment->window = proc_create_mem_window(start, windowSize);
137     elfSegment->size = (uint32_t) windowSize;
197     int windowSize = windowEnd - si.vaddr;
198     assert(((si.vaddr + windowSize) % REFOS_PAGE_SIZE) == 0);
202     elfSegment->window = proc_create_mem_window(REFOS_PAGE_ALIGN(si.vaddr), windowSize);
226     if (windowSize >= si.segmentSize) {
231     seL4_Word zeroSegment = si.segmentSize - windowSize;
234     error = sl_create_zero_segment(si.vaddr + windowSize, zeroSegment, zeroSegment, NULL);