set_upper_bound  5480 kernel/bpf/verifier.c 		set_upper_bound(false_reg, val, is_jmp32, opcode == BPF_JGE);
set_upper_bound  5503 kernel/bpf/verifier.c 		set_upper_bound(true_reg, val, is_jmp32, opcode == BPF_JLT);
set_upper_bound  5579 kernel/bpf/verifier.c 		set_upper_bound(true_reg, val, is_jmp32, opcode == BPF_JGT);
set_upper_bound  5597 kernel/bpf/verifier.c 		set_upper_bound(false_reg, val, is_jmp32, opcode == BPF_JLE);