Searched refs:msecs (Results 1 – 1 of 1) sorted by relevance
73 ulong msecs = get_timer(start) * 1000 / CONFIG_SYS_HZ; in do_timer() local74 printf("%ld.%03d\n", msecs / 1000, (int)(msecs % 1000)); in do_timer()