56 	vaddr_t end_va = 0;  in select_va_in_range()  local
97 	if (ADD_OVERFLOW(begin_va, reg->size, &end_va) ||  in select_va_in_range()
98 	    ADD_OVERFLOW(end_va, pad_end, &end_va) ||  in select_va_in_range()
99 	    ADD_OVERFLOW(end_va, pad, &end_va) ||  in select_va_in_range()
100 	    ROUNDUP2_OVERFLOW(end_va, granul, &end_va))  in select_va_in_range()
103 	if (end_va <= next_reg->va) {  in select_va_in_range()
391 	vaddr_t end_va = 0;  in va_range_is_contiguous()  local
393 	if (ADD_OVERFLOW(va, len, &end_va))  in va_range_is_contiguous()
400 		if (r_end_va >= end_va)  in va_range_is_contiguous()
456 	vaddr_t end_va = 0;  in split_vm_range()  local
461 	if (ADD_OVERFLOW(va, len, &end_va))  in split_vm_range()
487 	if (end_va != r->va + r->size) {  in split_vm_range()
488 		res = split_vm_region(uctx, r, end_va);  in split_vm_range()
500 	vaddr_t end_va = 0;  in merge_vm_range()  local
502 	if (ADD_OVERFLOW(va, len, &end_va))  in merge_vm_range()
521 		if (r->va > end_va)  in merge_vm_range()
818 	size_t end_va = 0;  in vm_unmap()  local
830 	if (ADD_OVERFLOW(va, l, &end_va))  in vm_unmap()
842 		if (!r_next || unmap_end_va == end_va)  in vm_unmap()