Lines Matching refs:end
75 /* This symbol is provided by the GNU linker and points at the start/end of our
315 * the image computed by comparing start and end symbols. If
319 bootinfo->userImageFrames.end - bootinfo->userImageFrames.start;
376 seL4_CPtr untyped_end = bootinfo->untyped.end;
428 free_slot_end = bootinfo->empty.end;
430 /* When using libsel4platsupport for printing support, we end up using some
459 int num_untyped = bootinfo->untyped.end - bootinfo->untyped.start;
485 int num_untyped = bootinfo->untyped.end - bootinfo->untyped.start;
524 for (unsigned int i = 0; i < bootinfo->untyped.end - bootinfo->untyped.start; i++) {
637 err = seL4_X86_IOPortControl_Issue(seL4_CapIOPortControl, obj->start, obj->end, seL4_CapInitThreadCNode, free_slot,
639 ZF_LOGF_IF(err != seL4_NoError, "Failed to allocate IOPort for range [%d,%d]", (int)obj->start, (int)obj->end);
968 for (seL4_Word i = 0; i <= bi->schedcontrol.end - bi->schedcontrol.start; i++) {
1507 if (addr.paddr >= memory_region[0].start && addr.paddr <= memory_region[0].end) {
1896 * after the end of our binary image + any additional frames
1909 uintptr_t end = cur + bi->extraLen;
1911 while (cur < end) {