Searched refs:kruntime (Results 1 – 1 of 1) sorted by relevance
182 if test $kruntime -ge $seconds189 if test $kruntime -lt $seconds191 echo Completed in $kruntime vs. $seconds >> $resdir/Warnings 2>&1217 if test $kruntime -ge $((seconds + grace))219 echo "!!! PID $qemu_pid hung at $kruntime vs. $seconds seconds" >> $resdir/Warnings 2>&1