diff --git a/lib/libsys/tsc_util.c b/lib/libsys/tsc_util.c index 545991c9b..4c08e480a 100644 --- a/lib/libsys/tsc_util.c +++ b/lib/libsys/tsc_util.c @@ -62,7 +62,7 @@ micro_delay(u32_t micros) CALIBRATE; /* We have to know when to end the delay. */ - end = add64(now, mul64u(micros, calib_mhz * 1000)); + end = add64(now, mul64u(micros, calib_mhz)); /* If we have to wait for at least one HZ tick, use the regular * tickdelay first. Round downwards on purpose, so the average