1#include <sys/random.h>
2#include "syscall.h"
3
4ssize_t getrandom(void *buf, size_t buflen, unsigned flags)
5{
6	return syscall_cp(SYS_getrandom, buf, buflen, flags);
7}