Lines Matching defs:base_time
3422 sreal time, base_time;
3427 &base_time, &hints);
3428 base_time -= time;
3429 if (base_time > 65535)
3430 base_time = 65535;
3438 time_benefit = base_time.to_int ()
3503 sreal time, base_time;
3511 &base_time, &hints);
3519 "time_benefit: %f\n", size, (base_time - time).to_double ());
3530 MIN ((base_time - time).to_int (),