Lines Matching refs:vstate

1713     struct bpf_verifier_state *vstate = env->cur_state;

1714     struct bpf_func_state *state = vstate->frame[vstate->curframe];

2510     struct bpf_verifier_state *vstate = env->cur_state;

2511     struct bpf_func_state *state = vstate->frame[vstate->curframe];

2561     struct bpf_verifier_state *vstate = env->cur_state;

2562     struct bpf_func_state *state = vstate->frame[vstate->curframe];

2813     struct bpf_verifier_state *vstate = env->cur_state;

2814     struct bpf_func_state *state = vstate->frame[vstate->curframe];

2864     struct bpf_verifier_state *vstate = env->cur_state;

2865     struct bpf_func_state *state = vstate->frame[vstate->curframe];

5000     struct bpf_verifier_state *vstate = env->cur_state;

5003     for (i = 0; i <= vstate->curframe; i++) {

5004         __clear_all_pkt_pointers(env, vstate->frame[i]);

5035     struct bpf_verifier_state *vstate = env->cur_state;

5044     for (i = 0; i <= vstate->curframe; i++) {

5045         release_reg_references(env, vstate->frame[i], ref_obj_id);

5735     struct bpf_verifier_state *vstate = env->cur_state;

5753     if (vstate->speculative) {

5828     struct bpf_verifier_state *vstate = env->cur_state;

5835     if (!vstate->speculative) {

5945     struct bpf_verifier_state *vstate = env->cur_state;

5946     struct bpf_func_state *state = vstate->frame[vstate->curframe];

6876     struct bpf_verifier_state *vstate = env->cur_state;

6877     struct bpf_func_state *state = vstate->frame[vstate->curframe];

7142 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate, struct bpf_reg_state *dst_reg,

7212     for (i = 0; i <= vstate->curframe; i++) {

7213         __find_good_pkt_pointers(vstate->frame[i], dst_reg, type, new_range);

7701 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, bool is_null)

7703     struct bpf_func_state *state = vstate->frame[vstate->curframe];

7717     for (i = 0; i <= vstate->curframe; i++) {

7718         __mark_ptr_or_null_regs(vstate->frame[i], id, is_null);

7795 static void find_equal_scalars(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg)

7801     for (i = 0; i <= vstate->curframe; i++) {

7802         state = vstate->frame[i];

9303 static int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate,

9310     if (vparent->curframe != vstate->curframe) {

9311         WARN(1, "propagate_live: parent frame %d current frame %d\n", vparent->curframe, vstate->curframe);

9316     for (frame = 0; frame <= vstate->curframe; frame++) {

9318         state = vstate->frame[frame];

9322         for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) {