Home
last modified time | relevance | path

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

/linux-6.15/include/linux/
H A Dbpf_verifier.h796 u32 explored_states_size; member
/linux-6.15/kernel/bpf/
H A Dverifier.c1649 cur_states = env->explored_states_size + env->free_list_size; in update_peak_states()
19231 env->explored_states_size--; in is_state_visited()
19258 env->explored_states_size++; in is_state_visited()