Current File : //kunden/kunden/proc/thread-self/root/usr/share/systemtap/tapset/indent-default.stp

function __indent_timestamp() { return gettimeofday_us() }