Use `syscall(SYS_getrandom,...)` instead of `getrandom(...)`
...as getrandom(2) may not be present in libc byt may be supported by the kernel.
--- a/UnixOperatingSystem.st Fri Jul 24 08:06:37 2015 +0100
+++ b/UnixOperatingSystem.st Fri Jul 24 08:09:56 2015 +0100
@@ -9146,7 +9146,7 @@
int buf = 0;
do {
- cnt = getrandom(&buf + gotSoFar, wanted - gotSoFar, 0);
+ cnt = syscall(SYS_getrandom, &buf + gotSoFar, wanted - gotSoFar, 0);
if (cnt < 0) {
if (errno != EINTR && errno != EAGAIN)
goto error;
@@ -9165,7 +9165,7 @@
goto error;
do {
- cnt = getrandom(buffer + gotSoFar, wanted - gotSoFar, 0);
+ cnt = syscall(SYS_getrandom, buffer + gotSoFar, wanted - gotSoFar, 0);
if (cnt < 0) {
if (errno != EINTR && errno != EAGAIN)
goto error;