kernel/drivers/firmware/efi/libstub/efistub.h
.. .. @@ -767,6 +767,8 @@ 767 767 efi_status_t efi_random_alloc(unsigned long size, unsigned long align, 768 768 unsigned long *addr, unsigned long random_seed); 769 769 770 +efi_status_t efi_random_get_seed(void);771 +770 772 efi_status_t check_platform_features(void); 771 773 772 774 void *get_efi_config_table(efi_guid_t guid);