2046 	if (umin_in_tnum && tnum_next > reg_umax(reg)) {  in __update_reg64_bounds()
2059 	} else if (!umin_in_tnum && tnum_next <= reg_umax(reg) &&  in __update_reg64_bounds()
2060 		   tnum_step(reg->var_off, tnum_next) > reg_umax(reg)) {  in __update_reg64_bounds()
2097 							  reg_umax(reg)));  in __reg_bound_offset()
3464 	return fls64(reg_umax(reg));  in get_reg_width()
4387 	if (reg_umax(reg) >= BPF_MAX_VAR_OFF) {  in check_mem_region_access()
4394 				reg_umax(reg), BPF_MAX_VAR_OFF);  in check_mem_region_access()
4398 	err = __check_mem_access(env, reg, argno, reg_umax(reg) + off, size,  in check_mem_region_access()
4404 			max_start = (s64)reg_umax(reg) + off;  in check_mem_region_access()
4749 		    p < reg_umax(reg) + off + size) {  in check_map_access()
4851 		      off + reg_umax(reg) + size - 1);  in check_packet_access()
4912 	off += reg_umax(reg);  in check_ctx_access()
5616 	if ((reg_umin(reg) & ~mask) == (reg_umax(reg) & ~mask))  in coerce_reg_to_size()
5617 		reg_set_urange64(reg, reg_umin(reg) & mask, reg_umax(reg) & mask);  in coerce_reg_to_size()
6569 			bool no_sext = reg_umax(&regs[value_regno]) <  in check_mem_access()
7024 			if (env->prog->aux->max_ctx_offset < reg_umax(reg) + access_size)  in check_helper_mem_access()
7025 				env->prog->aux->max_ctx_offset = reg_umax(reg) + access_size;  in check_helper_mem_access()
7076 	meta->msize_max_value = reg_umax(size_reg);  in check_mem_size_reg()
7095 			reg_arg_name(env, size_argno), reg_umin(size_reg), reg_umax(size_reg));  in check_mem_size_reg()
7100 	if (reg_umax(size_reg) >= BPF_MAX_VAR_SIZ) {  in check_mem_size_reg()
7108 		err = check_helper_mem_access(env, mem_reg, mem_argno, reg_umax(size_reg),  in check_mem_size_reg()
7111 		err = check_helper_mem_access(env, mem_reg, mem_argno, reg_umax(size_reg),  in check_mem_size_reg()
10895 		if (cur_func(env)->callback_depth < reg_umax(&regs[BPF_REG_1])) {  in check_helper_call()
13125 							size_arg, reg_umax(size_reg), BPF_MAX_VAR_SIZ);  in check_kfunc_args()
14145 		ptr_limit = mask_to_left ? reg_smin(ptr_reg) : reg_umax(ptr_reg);  in retrieve_ptr_limit()
14445 	u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg);  in adjust_ptr_min_max_vals()
14765 	u64 umax = reg_umax(dst_reg);  in scalar_min_max_mul()
14768 	if (check_mul_overflow(umax, reg_umax(src_reg), &umax) ||  in scalar_min_max_mul()
14808 			 div64_u64(reg_umax(dst_reg), src_val));  in scalar_min_max_udiv()
14915 	if (reg_umax(dst_reg) <= res_max)  in scalar_min_max_umod()
14918 	reg_set_urange64(dst_reg, 0, min(reg_umax(dst_reg), res_max));  in scalar_min_max_umod()
15028 	u64 umax_val = reg_umax(src_reg);  in scalar_min_max_and()
15040 			 min(reg_umax(dst_reg), umax_val));  in scalar_min_max_and()
15173 	if (reg_umax(dst_reg) > 1ULL << (63 - umax_val))  in __scalar64_min_max_lsh()
15177 				       reg_umax(dst_reg) << umax_val);  in __scalar64_min_max_lsh()
15185 	u64 umax_val = reg_umax(src_reg);  in scalar_min_max_lsh()
15230 	u64 umax_val = reg_umax(src_reg);  in scalar_min_max_rsh()
15249 			 reg_umax(dst_reg) >> umin_val);  in scalar_min_max_rsh()
15363 		    && reg_umin(src_reg) == reg_umax(src_reg))  in is_safe_to_compute_dst_reg_range()
15393 		return (src_is_const && reg_umax(src_reg) < insn_bitness);  in is_safe_to_compute_dst_reg_range()
15696 	u64 dst_umax = reg_umax(dst_reg);  in adjust_reg_min_max_vals()
15836 						no_sext = reg_umax(src_reg) < (1ULL << (insn->off - 1));  in check_alu_op()
15869 						bool no_sext = reg_umax(src_reg) < (1ULL << (insn->off - 1));  in check_alu_op()
15955 	if (reg_umax(dst_reg) == 0 && range_right_open)  in find_good_pkt_pointers()
15959 	if (reg_umax(dst_reg) > MAX_PACKET_OFF)  in find_good_pkt_pointers()
15965 	new_range = reg_umax(dst_reg);  in find_good_pkt_pointers()
16071 	u64 umax1 = is_jmp32 ? (u64)reg_u32_max(reg1) : reg_umax(reg1);  in is_scalar_branch_taken()
16075 	u64 umax2 = is_jmp32 ? (u64)reg_u32_max(reg2) : reg_umax(reg2);  in is_scalar_branch_taken()
16458 			cnum64_intersect_with_urange(&reg1->r64, 0, reg_umax(reg2));  in regs_refine_cond_op()
16467 			cnum64_intersect_with_urange(&reg1->r64, 0, reg_umax(reg2) - 1);  in regs_refine_cond_op()
17985 	u64 max_index = reg_umax(reg);  in indirect_jump_min_max_index()
17993 		verbose(env, "the sum of R%u umax_value %llu is too big\n", regno, reg_umax(reg));  in indirect_jump_min_max_index()