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

function __indent_timestamp() { return gettimeofday_us() }