tv2f              71 modules/up/src/Core/util/rusage.cc     last_rtime = tv2f(start_time);
tv2f              74 modules/up/src/Core/util/rusage.cc     last_utime = tv2f(self.ru_utime);
tv2f              75 modules/up/src/Core/util/rusage.cc     last_stime = tv2f(self.ru_stime);
tv2f              86 modules/up/src/Core/util/rusage.cc     utime = tv2f(self.ru_utime) - ru.last_utime;
tv2f              87 modules/up/src/Core/util/rusage.cc     stime = tv2f(self.ru_stime) - ru.last_stime;
tv2f              88 modules/up/src/Core/util/rusage.cc     rtime = tv2f(end_time)      - ru.last_rtime;