kernel/vm/vm_address_region.cpp

440     vaddr_t gap_beg; // first byte of a gap
450         if (add_overflow(prev->base(), prev->size(), &gap_beg) ||
451             add_overflow(gap_beg, min_gap, &gap_beg)) {
455         gap_beg = base_;
460         if (gap_beg == next->base()) {
468         if (gap_beg == base_ + size_) {
476     DEBUG_ASSERT(gap_end > gap_beg);
482     if (gap_beg < search_base) {
483         gap_beg = search_base;
486     DEBUG_ASSERT(gap_end > gap_beg);
488     LTRACEF_LEVEL(2, "search base %#" PRIxPTR " gap_beg %#" PRIxPTR " end %#" PRIxPTR "\n",
489                   search_base, gap_beg, gap_end);
499     *pva = aspace_->arch_aspace().PickSpot(gap_beg, prev_arch_mmu_flags, gap_end,
501     if (*pva < gap_beg) {