402 static void _get_random_bytes(void *buf, size_t len)  in _get_random_bytes()
444 void get_random_bytes(void *buf, int len)  in get_random_bytes()
588 int __must_check get_random_bytes_arch(void *buf, int len)  in get_random_bytes_arch()
646 static void _mix_pool_bytes(const void *buf, size_t len)  in _mix_pool_bytes()
656 static void mix_pool_bytes(const void *buf, size_t len)  in mix_pool_bytes()
669 static void extract_entropy(void *buf, size_t len)  in extract_entropy()
861 void add_device_randomness(const void *buf, unsigned int len)  in add_device_randomness()
878 void add_hwgenerator_randomness(const void *buf, size_t len, size_t entropy)  in add_hwgenerator_randomness()
896 void __cold add_bootloader_randomness(const void *buf, size_t len)  in add_bootloader_randomness()
1223 SYSCALL_DEFINE3(getrandom, char __user *, ubuf, size_t, len, unsigned int, flags)  in SYSCALL_DEFINE3()  argument
1348 		int len;  in random_ioctl()  local