1// SPDX-License-Identifier: GPL-2.0-only
 2/*
 3 * Copyright (C) 2022-2024 Jason A. Donenfeld <Jason@zx2c4.com>. All Rights Reserved.
 4 */
 5#include <linux/types.h>
 6
 7#include "../../../../lib/vdso/getrandom.c"
 8
 9ssize_t __vdso_getrandom(void *buffer, size_t len, unsigned int flags, void *opaque_state, size_t opaque_len)
10{
11	return __cvdso_getrandom(buffer, len, flags, opaque_state, opaque_len);
12}
13
14ssize_t getrandom(void *, size_t, unsigned int, void *, size_t)
15	__attribute__((weak, alias("__vdso_getrandom")));