Format: AllC/C++CSSTextshell script Advanced Search
55: /* conversion from microseconds to milliseconds (truncate) */ 56: t = li_div(ltime, 1000); 57: