umax_value        560 drivers/net/ethernet/netronome/nfp/bpf/verifier.c 	meta->umax_src = max(meta->umax_src, sreg->umax_value);
umax_value        562 drivers/net/ethernet/netronome/nfp/bpf/verifier.c 	meta->umax_dst = max(meta->umax_dst, dreg->umax_value);
umax_value        123 include/linux/bpf_verifier.h 	u64 umax_value; /* maximum possible (u64)value */
umax_value        480 kernel/bpf/verifier.c 				if (reg->smax_value != reg->umax_value &&
umax_value        487 kernel/bpf/verifier.c 				if (reg->umax_value != U64_MAX)
umax_value        489 kernel/bpf/verifier.c 						(unsigned long long)reg->umax_value);
umax_value        869 kernel/bpf/verifier.c 	reg->umax_value = imm;
umax_value        934 kernel/bpf/verifier.c 	reg->umax_value = min(reg->umax_value,
umax_value        949 kernel/bpf/verifier.c 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,
umax_value        950 kernel/bpf/verifier.c 							  reg->umax_value);
umax_value        956 kernel/bpf/verifier.c 	if ((s64)reg->umax_value >= 0) {
umax_value        961 kernel/bpf/verifier.c 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,
umax_value        962 kernel/bpf/verifier.c 							  reg->umax_value);
umax_value        969 kernel/bpf/verifier.c 		reg->smax_value = reg->umax_value;
umax_value        978 kernel/bpf/verifier.c 						 reg->umax_value));
umax_value        987 kernel/bpf/verifier.c 	reg->umax_value = U64_MAX;
umax_value       2227 kernel/bpf/verifier.c 	if (reg->umax_value >= BPF_MAX_VAR_OFF) {
umax_value       2232 kernel/bpf/verifier.c 	err = __check_map_access(env, regno, reg->umax_value + off, size,
umax_value       2247 kernel/bpf/verifier.c 		     lock < reg->umax_value + off + size) {
umax_value       2346 kernel/bpf/verifier.c 		      off + reg->umax_value + size - 1);
umax_value       2741 kernel/bpf/verifier.c 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {
umax_value       2743 kernel/bpf/verifier.c 		reg->umax_value &= mask;
umax_value       2746 kernel/bpf/verifier.c 		reg->umax_value = mask;
umax_value       2749 kernel/bpf/verifier.c 	reg->smax_value = reg->umax_value;
umax_value       3389 kernel/bpf/verifier.c 		meta->msize_max_value = reg->umax_value;
umax_value       3416 kernel/bpf/verifier.c 		if (reg->umax_value >= BPF_MAX_VAR_SIZ) {
umax_value       3422 kernel/bpf/verifier.c 					      reg->umax_value,
umax_value       3908 kernel/bpf/verifier.c 	ret_reg->umax_value = ret_reg->smax_value;
umax_value       4257 kernel/bpf/verifier.c 			*ptr_limit = ptr_reg->umax_value + ptr_reg->off;
umax_value       4370 kernel/bpf/verifier.c 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,
umax_value       4371 kernel/bpf/verifier.c 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;
umax_value       4449 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr;
umax_value       4475 kernel/bpf/verifier.c 			dst_reg->umax_value = U64_MAX;
umax_value       4478 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr + umax_val;
umax_value       4516 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr;
umax_value       4538 kernel/bpf/verifier.c 			dst_reg->umax_value = U64_MAX;
umax_value       4542 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr - umin_val;
umax_value       4626 kernel/bpf/verifier.c 	umax_val = src_reg.umax_value;
umax_value       4661 kernel/bpf/verifier.c 		    dst_reg->umax_value + umax_val < umax_val) {
umax_value       4663 kernel/bpf/verifier.c 			dst_reg->umax_value = U64_MAX;
umax_value       4666 kernel/bpf/verifier.c 			dst_reg->umax_value += umax_val;
umax_value       4688 kernel/bpf/verifier.c 			dst_reg->umax_value = U64_MAX;
umax_value       4692 kernel/bpf/verifier.c 			dst_reg->umax_value -= umin_val;
umax_value       4707 kernel/bpf/verifier.c 		if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {
umax_value       4715 kernel/bpf/verifier.c 		dst_reg->umax_value *= umax_val;
umax_value       4716 kernel/bpf/verifier.c 		if (dst_reg->umax_value > S64_MAX) {
umax_value       4722 kernel/bpf/verifier.c 			dst_reg->smax_value = dst_reg->umax_value;
umax_value       4736 kernel/bpf/verifier.c 		dst_reg->umax_value = min(dst_reg->umax_value, umax_val);
umax_value       4748 kernel/bpf/verifier.c 			dst_reg->smax_value = dst_reg->umax_value;
umax_value       4764 kernel/bpf/verifier.c 		dst_reg->umax_value = dst_reg->var_off.value |
umax_value       4777 kernel/bpf/verifier.c 			dst_reg->smax_value = dst_reg->umax_value;
umax_value       4796 kernel/bpf/verifier.c 		if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {
umax_value       4798 kernel/bpf/verifier.c 			dst_reg->umax_value = U64_MAX;
umax_value       4801 kernel/bpf/verifier.c 			dst_reg->umax_value <<= umax_val;
umax_value       4833 kernel/bpf/verifier.c 		dst_reg->umax_value >>= umin_val;
umax_value       4864 kernel/bpf/verifier.c 		dst_reg->umax_value = U64_MAX;
umax_value       5157 kernel/bpf/verifier.c 	if (dst_reg->umax_value > MAX_PACKET_OFF ||
umax_value       5158 kernel/bpf/verifier.c 	    dst_reg->umax_value + dst_reg->off > MAX_PACKET_OFF)
umax_value       5256 kernel/bpf/verifier.c 		if ((reg->umax_value ^ reg->umin_value) &
umax_value       5288 kernel/bpf/verifier.c 		else if (reg->umax_value <= val)
umax_value       5298 kernel/bpf/verifier.c 		if (reg->umax_value < val)
umax_value       5312 kernel/bpf/verifier.c 		else if (reg->umax_value < val)
umax_value       5322 kernel/bpf/verifier.c 		if (reg->umax_value <= val)
umax_value       5390 kernel/bpf/verifier.c 	reg->umax_value = min(reg->umax_value, bound);
umax_value       5636 kernel/bpf/verifier.c 	src_reg->umax_value = dst_reg->umax_value = min(src_reg->umax_value,
umax_value       5637 kernel/bpf/verifier.c 							dst_reg->umax_value);
umax_value       6757 kernel/bpf/verifier.c 	       old->umax_value >= cur->umax_value &&