<dec f='src/src/sys/sys/dtrace_bsd.h' l='159' type='__uint64_t dtrace_gethrestime()'/>
