path: root/doc/tutorial/tapset/time-default.stp

function __time_value () { return gettimeofday_us () }