Home
last modified time | relevance | path

Searched refs:explored_states (Results 1 – 2 of 2) sorted by relevance

/kernel/linux/linux-5.10/include/linux/
Dbpf_verifier.h425 struct bpf_verifier_state_list **explored_states; /* search pruning optimization */ member
/kernel/linux/linux-5.10/kernel/bpf/
Dverifier.c8557 return &env->explored_states[(idx ^ state->callsite) % state_htab_size(env)]; in explored_state()
11796 if (!env->explored_states) in free_states()
11800 sl = env->explored_states[i]; in free_states()
11808 env->explored_states[i] = NULL; in free_states()
12452 env->explored_states = kvcalloc(state_htab_size(env), in bpf_check()
12456 if (!env->explored_states) in bpf_check()
12492 kvfree(env->explored_states); in bpf_check()