Searched refs:starting_state (Results 1 – 1 of 1) sorted by relevance
4834 struct bpf_verifier_state *starting_state, in __mark_chain_precision() argument4838 struct bpf_verifier_state *st = starting_state; in __mark_chain_precision()4841 int last_idx = starting_state->insn_idx; in __mark_chain_precision()4853 bt_init(bt, starting_state->curframe); in __mark_chain_precision()4919 mark_all_scalars_precise(env, starting_state); in __mark_chain_precision()5011 mark_all_scalars_precise(env, starting_state); in __mark_chain_precision()5027 struct bpf_verifier_state *starting_state) in mark_chain_precision_batch() argument5029 return __mark_chain_precision(env, starting_state, -1, NULL); in mark_chain_precision_batch()