Searched refs:allocate_storage (Results 1 – 2 of 2) sorted by relevance
134 allocate_storage (void) in allocate_storage() function340 allocate_storage (); in generate_states()
16804 (allocate_storage): Use state_hash_new.19204 (allocate_storage): Do it here.