kernel/include/linux/efi.h
.. .. @@ -1108,8 +1108,6 @@ 1108 1108 static inline void efi_check_for_embedded_firmwares(void) { } 1109 1109 #endif 1110 1110 1111 -efi_status_t efi_random_get_seed(void);1112 -1113 1111 void efi_retrieve_tpm2_eventlog(void); 1114 1112 1115 1113 /*