// SPDX-License-Identifier: MIT

#include <zinnia/random.h>
#include <kernel/vdso.h>

zn_status_t zn_random_get(void* addr, size_t len) {
    return zn_syscall2(addr, len, ZN_SYSCALL_RANDOM_GET);
}

VDSO_SYMBOL(zn_random_get);

zn_status_t zn_random_entropy(const void* addr, size_t len) {
    return zn_syscall2(addr, len, ZN_SYSCALL_RANDOM_ENTROPY);
}

VDSO_SYMBOL(zn_random_entropy);