Searched refs:environment_size (Results 1 – 1 of 1) sorted by relevance
412 void update_maximum_environment_size(int environment_size) { in update_maximum_environment_size() argument413 if (environment_size > maximum_environment_size_) { in update_maximum_environment_size()414 maximum_environment_size_ = environment_size; in update_maximum_environment_size()