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() 1309 env->explored_states_size++; in bpf_is_state_visited() 1709 env->explored_states_size--;
1178 u32 explored_states_size;1009 u32 explored_states_size; global() member