umax_ptr         4371 kernel/bpf/verifier.c 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;
umax_ptr         4449 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr;
umax_ptr         4473 kernel/bpf/verifier.c 		    umax_ptr + umax_val < umax_ptr) {
umax_ptr         4478 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr + umax_val;
umax_ptr         4516 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr;
umax_ptr         4542 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr - umin_val;