Searched refs:free_list_size (Results 1 – 4 of 4) sorted by relevance
55 u64 free_list_size; in free_list_create_kernel_structure() local76 NULL, &free_list_size); in free_list_create_kernel_structure()84 free_list_size < (args->max_num_pages * FREE_LIST_ENTRY_SIZE)) { in free_list_create_kernel_structure()
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()1849 eni_dev->free_list_size + 1); in eni_start()
1676 cur_states = env->explored_states_size + env->free_list_size + env->num_backedges; in update_peak_states()1738 env->free_list_size--; in maybe_free_verifier_state()20770 env->free_list_size++; in is_state_visited()