/usr/share/systemtap/tapset/ Current File: //usr/share/systemtap/tapset/indent-default.stp

function __indent_timestamp() { return gettimeofday_us() }