Searched refs:efi_take_random_seed (Results 1 – 3 of 3) sorted by relevance
4 int efi_take_random_seed(void);
43 int efi_take_random_seed(void) { in efi_take_random_seed() function
2797 (void) efi_take_random_seed(); in main()