Searched refs:starting_state (Results 1 – 1 of 1) sorted by relevance
4743 struct bpf_verifier_state *starting_state, in __mark_chain_precision() argument4747 struct bpf_verifier_state *st = starting_state; in __mark_chain_precision()4750 int last_idx = starting_state->insn_idx; in __mark_chain_precision()4762 bt_init(bt, starting_state->curframe); in __mark_chain_precision()4828 mark_all_scalars_precise(env, starting_state); in __mark_chain_precision()4920 mark_all_scalars_precise(env, starting_state); in __mark_chain_precision()4936 struct bpf_verifier_state *starting_state) in mark_chain_precision_batch() argument4938 return __mark_chain_precision(env, starting_state, -1, NULL); in mark_chain_precision_batch()