Searched refs:starting_state (Results 1 – 1 of 1) sorted by relevance
4909 struct bpf_verifier_state *starting_state, in __mark_chain_precision() argument4913 struct bpf_verifier_state *st = starting_state; in __mark_chain_precision()4916 int last_idx = starting_state->insn_idx; in __mark_chain_precision()4928 bt_init(bt, starting_state->curframe); in __mark_chain_precision()4994 mark_all_scalars_precise(env, starting_state); in __mark_chain_precision()5086 mark_all_scalars_precise(env, starting_state); in __mark_chain_precision()5102 struct bpf_verifier_state *starting_state) in mark_chain_precision_batch() argument5104 return __mark_chain_precision(env, starting_state, -1, NULL); in mark_chain_precision_batch()