1#include <errno.h>
2#include <unistd.h>
3#ifdef __wasilibc_use_wasip2
4#include <wasi/wasip2.h>
5#include <sysexits.h>
6
7int __wasilibc_random(void *buffer, size_t len) {
8
9 // Set up a WASI byte list to receive the results
10 wasip2_list_u8_t wasi_list;
11
12 // Get random bytes
13 random_get_random_bytes(len, &wasi_list);
14
15 // The spec for get-random-bytes specifies that wasi_list.len
16 // will be equal to len.
17 if (wasi_list.len != len)
18 _Exit(EX_OSERR);
19 else {
20 // Copy the result
21 memcpy(buffer, wasi_list.ptr, len);
22 }
23
24 // Free the WASI byte list
25 wasip2_list_u8_free(&wasi_list);
26
27 return 0;
28}
29#endif