Lines Matching defs:max_gc_pause_
1502 int get_max_gc_pause() { return max_gc_pause_; }2007 int max_gc_pause_;
