Lines Matching refs:vstate
2728 struct bpf_verifier_state *vstate = env->cur_state; in check_reg_arg() local
2729 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_reg_arg()
3737 struct bpf_verifier_state *vstate = env->cur_state; in mark_reg_stack_read() local
3738 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_reg_stack_read()
3788 struct bpf_verifier_state *vstate = env->cur_state; in check_stack_read_fixed_off() local
3789 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_stack_read_fixed_off()
4084 struct bpf_verifier_state *vstate = env->cur_state; in check_mem_region_access() local
4085 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_mem_region_access()
4305 struct bpf_verifier_state *vstate = env->cur_state; in check_map_access() local
4306 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_map_access()
7375 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open) in mark_pkt_end() argument
7377 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_pkt_end()
10257 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_ptr_alu() local
10274 if (vstate->speculative) in sanitize_ptr_alu()
10346 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_mark_insn_seen() local
10353 if (!vstate->speculative) in sanitize_mark_insn_seen()
10472 struct bpf_verifier_state *vstate = env->cur_state; in adjust_ptr_min_max_vals() local
10473 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_ptr_min_max_vals()
11428 struct bpf_verifier_state *vstate = env->cur_state; in adjust_reg_min_max_vals() local
11429 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_reg_min_max_vals()
11684 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate, in find_good_pkt_pointers() argument
11756 bpf_for_each_reg_in_vstate(vstate, state, reg, ({ in find_good_pkt_pointers()
12267 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, in mark_ptr_or_null_regs() argument
12270 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_ptr_or_null_regs()
12282 bpf_for_each_reg_in_vstate(vstate, state, reg, ({ in mark_ptr_or_null_regs()
12392 static void find_equal_scalars(struct bpf_verifier_state *vstate, in find_equal_scalars() argument
12398 bpf_for_each_reg_in_vstate(vstate, state, reg, ({ in find_equal_scalars()
14146 const struct bpf_verifier_state *vstate, in propagate_liveness() argument
14153 if (vparent->curframe != vstate->curframe) { in propagate_liveness()
14155 vparent->curframe, vstate->curframe); in propagate_liveness()
14160 for (frame = 0; frame <= vstate->curframe; frame++) { in propagate_liveness()
14162 state = vstate->frame[frame]; in propagate_liveness()
14166 for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) { in propagate_liveness()