Searched refs:__mark_chain_precision (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 4620 * not needed. See why in the comment in __mark_chain_precision below. in mark_all_scalars_precise()
4677 * __mark_chain_precision() backtracks BPF program instruction sequence and
4763 static int __mark_chain_precision(struct bpf_verifier_env *env, in __mark_chain_precision() function
4950 return __mark_chain_precision(env, env->cur_state, regno, NULL); in mark_chain_precision()
4959 return __mark_chain_precision(env, starting_state, -1, NULL); in mark_chain_precision_batch()
19134 err = __mark_chain_precision(env, cur, -1, changed); in propagate_precision()
19620 /* forget precise markings we inherited, see __mark_chain_precision */ in is_state_visited()
|