Searched refs:explored_states_size (Results 1 – 2 of 2) sorted by relevance
26 cur_states = env->explored_states_size + env->free_list_size + env->num_backedges; in update_peak_states()1537 env->explored_states_size--; in bpf_is_state_visited()1564 env->explored_states_size++; in bpf_is_state_visited()
1005 u32 explored_states_size; member