-/*
- * Return a uniformly distributed 64-bit random number.
- *
- * This interface should have minimal dependencies on kernel
- * services, and thus be available very early in the life
- * of the kernel. But as a result, it may not be very random
- * on all platforms.
- */
-uint64_t
-early_random(void)
-{
- return (ml_early_random());
-}
-