Searched refs:explored_states (Results 1 – 2 of 2) sorted by relevance
734 struct list_head *explored_states; member
1784 return &env->explored_states[(idx ^ state->callsite) % state_htab_size(env)]; in explored_state()22642 if (!env->explored_states) in free_states()22646 head = &env->explored_states[i]; in free_states()22653 INIT_LIST_HEAD(&env->explored_states[i]); in free_states()23980 env->explored_states = kvcalloc(state_htab_size(env), in bpf_check()23984 if (!env->explored_states) in bpf_check()23988 INIT_LIST_HEAD(&env->explored_states[i]); in bpf_check()24040 kvfree(env->explored_states); in bpf_check()