Searched refs:explored_states (Results 1 – 2 of 2) sorted by relevance
935 struct list_head *explored_states; member
1704 return &env->explored_states[(idx ^ state->callsite) % state_htab_size(env)]; in bpf_explored_state() 19476 if (!env->explored_states) in free_states() 19480 head = &env->explored_states[i]; in free_states() 19487 INIT_LIST_HEAD(&env->explored_states[i]); in do_check_common() 21311 env->explored_states = kvzalloc_objs(struct list_head, in bpf_check() 21315 if (!env->explored_states) in bpf_check() 21319 INIT_LIST_HEAD(&env->explored_states[i]); in bpf_check() 21409 kvfree(env->explored_states); in bpf_check()