kernel/bpf/verifier.c

2451 	SRC_OP,		/* register is used as source operand */
3136 			if (t == SRC_OP)
3154 		if (t != SRC_OP)
3165 		if (t == SRC_OP && reg->type != SCALAR_VALUE)
3178 		if (t != SRC_OP)
3260 	if (t == SRC_OP) {
7003 	err = check_reg_arg(env, insn->src_reg, SRC_OP);
7008 	err = check_reg_arg(env, insn->dst_reg, SRC_OP);
7016 		err = check_reg_arg(env, aux_reg, SRC_OP);
8584 	err = check_reg_arg(env, regno, SRC_OP);
14001 		err = check_reg_arg(env, insn->dst_reg, SRC_OP);
14043 			err = check_reg_arg(env, insn->src_reg, SRC_OP);
14173 			err = check_reg_arg(env, insn->src_reg, SRC_OP);
14185 		err = check_reg_arg(env, insn->dst_reg, SRC_OP);
14995 	err = check_reg_arg(env, insn->dst_reg, SRC_OP);
15007 		err = check_reg_arg(env, insn->src_reg, SRC_OP);
15316 	err = check_reg_arg(env, ctx_reg, SRC_OP);
15348 		err = check_reg_arg(env, insn->src_reg, SRC_OP);
15408 	err = check_reg_arg(env, regno, SRC_OP);
17696 			err = check_reg_arg(env, insn->src_reg, SRC_OP);
17734 			err = check_reg_arg(env, insn->src_reg, SRC_OP);
17738 			err = check_reg_arg(env, insn->dst_reg, SRC_OP);
17763 			err = check_reg_arg(env, insn->dst_reg, SRC_OP);
18834 			 *       BPF_STX + SRC_OP, so it is safe to pass NULL