Searched refs:micro_time (Results 1 – 1 of 1) sorted by relevance
9918 int micro_time = (int)((gethrtime() / 10000) % 1000000000); in daplka_debug() local9919 (void) sprintf(buff, "th %p tm %9d: ", (void *)curthread, micro_time); in daplka_debug()