Searched refs:starting_state (Results 1 – 3 of 3) sorted by relevance
800 struct bpf_verifier_state *starting_state, in bpf_mark_chain_precision() argument804 struct bpf_verifier_state *st = starting_state; in bpf_mark_chain_precision()807 int last_idx = starting_state->insn_idx; in bpf_mark_chain_precision()819 bt_init(bt, starting_state->curframe); in bpf_mark_chain_precision()885 bpf_mark_all_scalars_precise(env, starting_state); in bpf_mark_chain_precision()988 bpf_mark_all_scalars_precise(env, starting_state); in bpf_mark_chain_precision()
3392 struct bpf_verifier_state *starting_state) in mark_chain_precision_batch() argument 3394 return bpf_mark_chain_precision(env, starting_state, -1, NULL); in mark_chain_precision_batch()
1235 struct bpf_verifier_state *starting_state,