Searched refs:cur_states (Results 1 – 1 of 1) sorted by relevance
1647 u32 cur_states; in update_peak_states() local1649 cur_states = env->explored_states_size + env->free_list_size; in update_peak_states()1650 env->peak_states = max(env->peak_states, cur_states); in update_peak_states()