Searched refs:free_list_size (Results 1 – 3 of 3) sorted by relevance
56 u64 free_list_size; in free_list_create_kernel_structure() local77 NULL, &free_list_size); in free_list_create_kernel_structure()85 free_list_size < (args->max_num_pages * FREE_LIST_ENTRY_SIZE)) { in free_list_create_kernel_structure()
26 cur_states = env->explored_states_size + env->free_list_size + env->num_backedges; in update_peak_states() 58 env->free_list_size--; in maybe_free_verifier_state() 1708 env->free_list_size++;
1177 u32 free_list_size;1008 u32 free_list_size; global() member