kernel/bpf/verifier.c

1767 static void __mark_reg_known(struct bpf_reg_state *reg, u64 imm)
1791 	__mark_reg_known(reg, 0);
1796 	__mark_reg_known(reg, 0);
4540 		__mark_reg_known(&fake_reg, insn->imm);
6803 				__mark_reg_known(&regs[value_regno], val);
13358 		__mark_reg_known(dst_reg, dst_reg->var_off.value);
13427 		__mark_reg_known(dst_reg, dst_reg->var_off.value);
13491 		__mark_reg_known(dst_reg, dst_reg->var_off.value);
13954 		__mark_reg_known(&off_reg, insn->imm);
14148 			/* clear any state __mark_reg_known doesn't set */
14152 				__mark_reg_known(regs + insn->dst_reg,
14155 				__mark_reg_known(regs + insn->dst_reg,
15025 		__mark_reg_known(src_reg, insn->imm);
15194 		__mark_reg_known(&regs[insn->dst_reg], imm);