617 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
624 				if (reg->umax_value != U64_MAX)  in print_verifier_state()
626 						(unsigned long long)reg->umax_value);  in print_verifier_state()
645 				if (reg->u32_max_value != reg->umax_value &&  in print_verifier_state()
1020 	reg->umax_value = imm;  in ___mark_reg_known()
1106 	reg->umax_value = U64_MAX;  in __mark_reg_unbounded()
1119 	reg->umax_value = U64_MAX;  in __mark_reg64_unbounded()
1154 	reg->umax_value = min(reg->umax_value,  in __update_reg64_bounds()
1209 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
1210 							  reg->umax_value);  in __reg64_deduce_bounds()
1216 	if ((s64)reg->umax_value >= 0) {  in __reg64_deduce_bounds()
1221 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg64_deduce_bounds()
1222 							  reg->umax_value);  in __reg64_deduce_bounds()
1229 		reg->smax_value = reg->umax_value;  in __reg64_deduce_bounds()
1244 							  reg->umax_value));  in __reg_bound_offset()
1255 	reg->umax_value = reg->u32_max_value;  in __reg_assign_32_into_64()
1321 	if (__reg64_bound_u32(reg->umax_value))  in __reg_combine_64_into_32()
1322 		reg->u32_max_value = (u32)reg->umax_value;  in __reg_combine_64_into_32()
2238 	       reg->umin_value == 0 && reg->umax_value == U64_MAX &&  in __is_scalar_unbounded()
2623 	if (reg->umax_value >= BPF_MAX_VAR_OFF) {  in check_mem_region_access()
2628 	err = __check_mem_access(env, regno, reg->umax_value + off, size,  in check_mem_region_access()
2663 		     lock < reg->umax_value + off + size) {  in check_map_access()
2755 		      off + reg->umax_value + size - 1);  in check_packet_access()
3235 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
3237 		reg->umax_value &= mask;  in coerce_reg_to_size()
3240 		reg->umax_value = mask;  in coerce_reg_to_size()
3243 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
4271 		meta->msize_max_value = reg->umax_value;  in check_func_arg()
4298 		if (reg->umax_value >= BPF_MAX_VAR_SIZ) {  in check_func_arg()
4304 					      reg->umax_value,  in check_func_arg()
5348 			*ptr_limit = ptr_reg->umax_value + ptr_reg->off;  in retrieve_ptr_limit()
5461 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
5462 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
5552 			dst_reg->umax_value = umax_ptr;  in adjust_ptr_min_max_vals()
5578 			dst_reg->umax_value = U64_MAX;  in adjust_ptr_min_max_vals()
5581 			dst_reg->umax_value = umax_ptr + umax_val;  in adjust_ptr_min_max_vals()
5619 			dst_reg->umax_value = umax_ptr;  in adjust_ptr_min_max_vals()
5641 			dst_reg->umax_value = U64_MAX;  in adjust_ptr_min_max_vals()
5645 			dst_reg->umax_value = umax_ptr - umin_val;  in adjust_ptr_min_max_vals()
5731 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_add()
5742 	    dst_reg->umax_value + umax_val < umax_val) {  in scalar_min_max_add()
5744 		dst_reg->umax_value = U64_MAX;  in scalar_min_max_add()
5747 		dst_reg->umax_value += umax_val;  in scalar_min_max_add()
5785 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_sub()
5799 		dst_reg->umax_value = U64_MAX;  in scalar_min_max_sub()
5803 		dst_reg->umax_value -= umin_val;  in scalar_min_max_sub()
5844 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_mul()
5854 	if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {  in scalar_min_max_mul()
5860 	dst_reg->umax_value *= umax_val;  in scalar_min_max_mul()
5861 	if (dst_reg->umax_value > S64_MAX) {  in scalar_min_max_mul()
5867 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_mul()
5913 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_and()
5924 	dst_reg->umax_value = min(dst_reg->umax_value, umax_val);  in scalar_min_max_and()
5936 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_and()
5994 	dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask;  in scalar_min_max_or()
6006 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_or()
6057 	dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask;  in scalar_min_max_xor()
6064 		dst_reg->smax_value = dst_reg->umax_value;  in scalar_min_max_xor()
6130 	if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {  in __scalar64_min_max_lsh()
6132 		dst_reg->umax_value = U64_MAX;  in __scalar64_min_max_lsh()
6135 		dst_reg->umax_value <<= umax_val;  in __scalar64_min_max_lsh()
6142 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_lsh()
6189 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_rsh()
6210 	dst_reg->umax_value >>= umin_val;  in scalar_min_max_rsh()
6260 	dst_reg->umax_value = U64_MAX;  in scalar_min_max_arsh()
6294 	umax_val = src_reg.umax_value;  in adjust_scalar_min_max_vals()
6731 	if (dst_reg->umax_value > MAX_PACKET_OFF ||  in find_good_pkt_pointers()
6732 	    dst_reg->umax_value + dst_reg->off > MAX_PACKET_OFF)  in find_good_pkt_pointers()
6890 		else if (reg->umax_value <= val)  in is_branch64_taken()
6900 		if (reg->umax_value < val)  in is_branch64_taken()
6914 		else if (reg->umax_value < val)  in is_branch64_taken()
6924 		if (reg->umax_value <= val)  in is_branch64_taken()
7050 			false_reg->umax_value = min(false_reg->umax_value, false_umax);  in reg_set_min_max()
7089 			true_reg->umax_value = min(true_reg->umax_value, true_umax);  in reg_set_min_max()
7168 	src_reg->umax_value = dst_reg->umax_value = min(src_reg->umax_value,  in __reg_combine_min_max()
7169 							dst_reg->umax_value);  in __reg_combine_min_max()
8464 	       old->umax_value >= cur->umax_value &&  in range_within()