| 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 | |
| 9 | ssize_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 | |
| 14 | ssize_t getrandom(void *, size_t, unsigned int, void *, size_t) |
| 15 | __attribute__((weak, alias("__vdso_getrandom" ))); |
| 16 | |