libsys: fix micro_delay()

diff --git a/lib/libsys/tsc_util.c b/lib/libsys/tsc_util.c
index 545991c9b9bec4dac58c4bb37ed75d73f5ff006e..4c08e480a22c98be9342c7bdacefed4c15b78908 100644 (file)
--- 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