On Thu, Apr 10, 2014 at 11:45 AM, Greg Stark <stark@mit.edu> wrote:
> I think his point is that to go from microseconds to msec (which I
> think should just be "ms" btw) you want to multiply by 1000 not
> divide.
Right. Or just use the INSTR_TIME_GET_MILLISEC() macro to begin with,
and do neither.
--
Peter Geoghegan
