Searched refs:starting_state (Results 1 – 3 of 3) sorted by relevance
790 struct bpf_verifier_state *starting_state, in bpf_mark_chain_precision() argument794 struct bpf_verifier_state *st = starting_state; in bpf_mark_chain_precision()797 int last_idx = starting_state->insn_idx; in bpf_mark_chain_precision()809 bt_init(bt, starting_state->curframe); in bpf_mark_chain_precision()875 bpf_mark_all_scalars_precise(env, starting_state); in bpf_mark_chain_precision()978 bpf_mark_all_scalars_precise(env, starting_state); in bpf_mark_chain_precision()
3378 struct bpf_verifier_state *starting_state) in mark_chain_precision_batch() argument3380 return bpf_mark_chain_precision(env, starting_state, -1, NULL); in mark_chain_precision_batch()
1219 struct bpf_verifier_state *starting_state,