Lines Matching refs:vstate
3367 struct bpf_verifier_state *vstate = env->cur_state; in check_reg_arg() local
3368 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_reg_arg()
4880 struct bpf_verifier_state *vstate = env->cur_state; in mark_reg_stack_read() local
4881 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_reg_stack_read()
4921 struct bpf_verifier_state *vstate = env->cur_state; in check_stack_read_fixed_off() local
4922 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_stack_read_fixed_off()
5249 struct bpf_verifier_state *vstate = env->cur_state; in check_mem_region_access() local
5250 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_mem_region_access()
5553 struct bpf_verifier_state *vstate = env->cur_state; in check_map_access() local
5554 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_map_access()
9443 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open) in mark_pkt_end() argument
9445 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_pkt_end()
13043 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_ptr_alu() local
13060 if (vstate->speculative) in sanitize_ptr_alu()
13132 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_mark_insn_seen() local
13139 if (!vstate->speculative) in sanitize_mark_insn_seen()
13258 struct bpf_verifier_state *vstate = env->cur_state; in adjust_ptr_min_max_vals() local
13259 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_ptr_min_max_vals()
14160 struct bpf_verifier_state *vstate = env->cur_state; in adjust_reg_min_max_vals() local
14161 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_reg_min_max_vals()
14531 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate, in find_good_pkt_pointers() argument
14603 bpf_for_each_reg_in_vstate(vstate, state, reg, ({ in find_good_pkt_pointers()
15132 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, in mark_ptr_or_null_regs() argument
15135 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_ptr_or_null_regs()
15147 bpf_for_each_reg_in_vstate(vstate, state, reg, ({ in mark_ptr_or_null_regs()
15279 static void collect_linked_regs(struct bpf_verifier_state *vstate, u32 id, in collect_linked_regs() argument
15287 for (i = vstate->curframe; i >= 0; i--) { in collect_linked_regs()
15288 func = vstate->frame[i]; in collect_linked_regs()
15305 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg, in sync_linked_regs() argument
15315 reg = e->is_reg ? &vstate->frame[e->frameno]->regs[e->regno] in sync_linked_regs()
15316 : &vstate->frame[e->frameno]->stack[e->spi].spilled_ptr; in sync_linked_regs()
17666 const struct bpf_verifier_state *vstate, in propagate_liveness() argument
17673 if (vparent->curframe != vstate->curframe) { in propagate_liveness()
17675 vparent->curframe, vstate->curframe); in propagate_liveness()
17680 for (frame = 0; frame <= vstate->curframe; frame++) { in propagate_liveness()
17682 state = vstate->frame[frame]; in propagate_liveness()
17686 for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) { in propagate_liveness()