Searched refs:free_list_size (Results 1 – 3 of 3) sorted by relevance
110 int free_list_size; /* maximum size of free list */ member
207 if (len >= eni_dev->free_list_size) { in eni_put_free()289 if (len >= eni_dev->free_list_size) { in eni_free_mem()1847 eni_dev->free_list_size = buffer_mem/MID_MIN_BUF_SIZE/2; in eni_start()1848 eni_dev->free_list = kmalloc_array(eni_dev->free_list_size + 1, in eni_start()
1660 cur_states = env->explored_states_size + env->free_list_size + env->num_backedges; in update_peak_states()1722 env->free_list_size--; in maybe_free_verifier_state()20007 env->free_list_size++; in is_state_visited()