Lines Matching refs:set_allocation_timeout
1449 void set_allocation_timeout(int timeout) { allocation_timeout_ = timeout; }