Searched refs:kstarttime (Results 1 – 1 of 1) sorted by relevance
128 kstarttime=`gawk 'BEGIN { print systime() }' < /dev/null`206 kruntime=`gawk 'BEGIN { print systime() - '"$kstarttime"' }' < /dev/null`251 kruntime=`gawk 'BEGIN { print systime() - '"$kstarttime"' }' < /dev/null`
