kernel/bpf/verifier.c

3292 	struct bpf_verifier_state *vstate = env->cur_state;
3293 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
4743 	struct bpf_verifier_state *vstate = env->cur_state;
4744 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
4784 	struct bpf_verifier_state *vstate = env->cur_state;
4785 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
5110 	struct bpf_verifier_state *vstate = env->cur_state;
5111 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
5414 	struct bpf_verifier_state *vstate = env->cur_state;
5415 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
9222 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)
9224 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
12696 	struct bpf_verifier_state *vstate = env->cur_state;
12713 	if (vstate->speculative)
12785 	struct bpf_verifier_state *vstate = env->cur_state;
12792 	if (!vstate->speculative)
12911 	struct bpf_verifier_state *vstate = env->cur_state;
12912 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
13878 	struct bpf_verifier_state *vstate = env->cur_state;
13879 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
14215 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,
14287 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({
14812 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,
14815 	struct bpf_func_state *state = vstate->frame[vstate->curframe];
14827 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({
14937 static void find_equal_scalars(struct bpf_verifier_state *vstate,
14943 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({
16956 			      const struct bpf_verifier_state *vstate,
16963 	if (vparent->curframe != vstate->curframe) {
16965 		     vparent->curframe, vstate->curframe);
16970 	for (frame = 0; frame <= vstate->curframe; frame++) {
16972 		state = vstate->frame[frame];
16976 		for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) {