| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef __ASM_VDSO_GETRANDOM_H | |
| #define __ASM_VDSO_GETRANDOM_H | |
| #ifndef __ASSEMBLER__ | |
| #include <vdso/datapage.h> | |
| #include <asm/vdso/vsyscall.h> | |
| #include <asm/syscall.h> | |
| #include <asm/unistd.h> | |
| #include <asm/page.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) | |
| { | |
| return syscall3(__NR_getrandom, (long)buffer, (long)len, (long)flags); | |
| } | |
| #endif /* !__ASSEMBLER__ */ | |
| #endif /* __ASM_VDSO_GETRANDOM_H */ |