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