| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * Copyright (C) 2022-2024 Jason A. Donenfeld <Jason@zx2c4.com>. All Rights Reserved. |
| */ |
| #ifndef __ASM_VDSO_GETRANDOM_H |
| #define __ASM_VDSO_GETRANDOM_H |
| |
| #ifndef __ASSEMBLY__ |
| |
| #include <asm/unistd.h> |
| #include <asm/vvar.h> |
| |
| /** |
| * getrandom_syscall - Invoke the getrandom() syscall. |
| * @buffer: Destination buffer to fill with random bytes. |
| * @len: Size of @buffer in bytes. |
| * @flags: Zero or more GRND_* flags. |
| * Returns: The number of random bytes written to @buffer, or a negative value indicating an error. |
| */ |
| static __always_inline ssize_t getrandom_syscall(void *buffer, size_t len, unsigned int flags) |
| { |
| long ret; |
| |
| asm ("syscall" : "=a" (ret) : |
| "0" (__NR_getrandom), "D" (buffer), "S" (len), "d" (flags) : |
| "rcx", "r11", "memory"); |
| |
| return ret; |
| } |
| |
| #define __vdso_rng_data (VVAR(_vdso_rng_data)) |
| |
| static __always_inline const struct vdso_rng_data *__arch_get_vdso_rng_data(void) |
| { |
| if (IS_ENABLED(CONFIG_TIME_NS) && __vdso_data->clock_mode == VDSO_CLOCKMODE_TIMENS) |
| return (void *)&__vdso_rng_data + ((void *)&__timens_vdso_data - (void *)&__vdso_data); |
| return &__vdso_rng_data; |
| } |
| |
| #endif /* !__ASSEMBLY__ */ |
| |
| #endif /* __ASM_VDSO_GETRANDOM_H */ |