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