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