kernel/bpf/verifier.c

3068 	 * check_reg_arg in check_helper_call and mark_btf_func_reg_size in
3289 static int check_reg_arg(struct bpf_verifier_env *env, u32 regno,
4815 				/* The earlier check_reg_arg() has decided the
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);
7049 		err = check_reg_arg(env, load_reg, DST_OP);
8584 	err = check_reg_arg(env, regno, SRC_OP);
9337 	/* only increment it after check_reg_arg() finished */
10484 		check_reg_arg(env, caller_saved[i], DST_OP_NO_MARK);
14001 		err = check_reg_arg(env, insn->dst_reg, SRC_OP);
14012 		err = check_reg_arg(env, insn->dst_reg, DST_OP);
14043 			err = check_reg_arg(env, insn->src_reg, SRC_OP);
14054 		err = check_reg_arg(env, insn->dst_reg, DST_OP_NO_MARK);
14173 			err = check_reg_arg(env, insn->src_reg, SRC_OP);
14185 		err = check_reg_arg(env, insn->dst_reg, SRC_OP);
14206 		err = check_reg_arg(env, insn->dst_reg, DST_OP_NO_MARK);
14995 	err = check_reg_arg(env, insn->dst_reg, SRC_OP);
15007 		err = check_reg_arg(env, insn->src_reg, SRC_OP);
15185 	err = check_reg_arg(env, insn->dst_reg, DST_OP);
15316 	err = check_reg_arg(env, ctx_reg, SRC_OP);
15348 		err = check_reg_arg(env, insn->src_reg, SRC_OP);
15360 		check_reg_arg(env, caller_saved[i], DST_OP_NO_MARK);
15408 	err = check_reg_arg(env, regno, SRC_OP);
17696 			err = check_reg_arg(env, insn->src_reg, SRC_OP);
17700 			err = check_reg_arg(env, insn->dst_reg, DST_OP_NO_MARK);
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);