add REDIRECT

hc

2024-10-09 05e59e5fb0064c97a1c10921ecd549f2d4a58565

 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);