| // SPDX-License-Identifier: GPL-2.0-only |
| /* |
| * Copyright (C) 2022-2024 Jason A. Donenfeld <Jason@zx2c4.com>. All Rights Reserved. |
| */ |
| #include <linux/types.h> |
| |
| #include "../../../../lib/vdso/getrandom.c" |
| |
| ssize_t __vdso_getrandom(void *buffer, size_t len, unsigned int flags, void *opaque_state, size_t opaque_len); |
| |
| ssize_t __vdso_getrandom(void *buffer, size_t len, unsigned int flags, void *opaque_state, size_t opaque_len) |
| { |
| return __cvdso_getrandom(buffer, len, flags, opaque_state, opaque_len); |
| } |
| |
| ssize_t getrandom(void *, size_t, unsigned int, void *, size_t) |
| __attribute__((weak, alias("__vdso_getrandom"))); |
