push rumpuser_getrandom() into libbmk_rumpuser

diff --git a/lib/libbmk_rumpuser/rumpuser_base.c b/lib/libbmk_rumpuser/rumpuser_base.c
index a68a7ff8e9238c5594955a2aeb062d4eaab530ab..465ec5f3528a0ede5f49cebf9e35eb2338737aed 100644 (file)
--- a/lib/libbmk_rumpuser/rumpuser_base.c
+++ b/lib/libbmk_rumpuser/rumpuser_base.c
@@ -110,6 +110,19 @@ rumpuser_getparam(const char *name, void *buf, size_t buflen)
        return rv;
 }
 
+/* ok, this isn't really random, but let's make-believe */
+int
+rumpuser_getrandom(void *buf, size_t buflen, int flags, size_t *retp)
+{
+       unsigned char *rndbuf;
+
+       for (*retp = 0, rndbuf = buf; *retp < buflen; (*retp)++) {
+               *rndbuf++ = bmk_platform_clock_monotonic() & 0xff;
+       }
+
+       return 0;
+}
+
 void
 rumpuser_exit(int value)
 {

diff --git a/platform/baremetal/rumpuser.c b/platform/baremetal/rumpuser.c
index 87d6a255bcd877d5d70e4478986ad9987ba7d110..ddd2c62c11c1f57e2a86c717e3c7e230b83f36c4 100644 (file)
--- a/platform/baremetal/rumpuser.c
+++ b/platform/baremetal/rumpuser.c
@@ -40,16 +40,3 @@ rumprun_platform_rumpuser_init(void)
 
        return 0;
 }
-
-/* ok, this isn't really random, but let's make-believe */
-int
-rumpuser_getrandom(void *buf, size_t buflen, int flags, size_t *retp)
-{
-       uint8_t *rndbuf;
-
-       for (*retp = 0, rndbuf = buf; *retp < buflen; (*retp)++) {
-               *rndbuf++ = bmk_platform_clock_monotonic() & 0xff;
-       }
-
-       return 0;
-}

diff --git a/platform/xen/rumphyper_base.c b/platform/xen/rumphyper_base.c
index 77b344bd522787b82f05e30271a1bc1b44cd2624..3a105b4d35dfa73a16e1d35ab71134d60b1ee705 100644 (file)
--- a/platform/xen/rumphyper_base.c
+++ b/platform/xen/rumphyper_base.c
@@ -35,16 +35,3 @@
 #include <bmk-core/string.h>
 
 #include <bmk-rumpuser/rumpuser.h>
-
-/* ok, this isn't really random, but let's make-believe */
-int
-rumpuser_getrandom(void *buf, size_t buflen, int flags, size_t *retp)
-{
-       uint8_t *rndbuf;
-
-       for (*retp = 0, rndbuf = buf; *retp < buflen; (*retp)++) {
-               *rndbuf++ = bmk_platform_clock_monotonic() & 0xff;
-       }
-
-       return 0;
-}