hc
2024-01-03 2f7c68cb55ecb7331f2381deb497c27155f32faf
kernel/drivers/firmware/efi/libstub/efistub.h
....@@ -767,6 +767,8 @@
767767 efi_status_t efi_random_alloc(unsigned long size, unsigned long align,
768768 unsigned long *addr, unsigned long random_seed);
769769
770
+efi_status_t efi_random_get_seed(void);
771
+
770772 efi_status_t check_platform_features(void);
771773
772774 void *get_efi_config_table(efi_guid_t guid);