1234567891011121314151617181920212223242526272829303132333435 |
- #ifndef _IPXE_EFI_ENTROPY_H
- #define _IPXE_EFI_ENTROPY_H
-
- /** @file
- *
- * EFI entropy source
- *
- */
-
- FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
-
- #include <stdint.h>
-
- #ifdef ENTROPY_EFI
- #define ENTROPY_PREFIX_efi
- #else
- #define ENTROPY_PREFIX_efi __efi_
- #endif
-
- /**
- * min-entropy per sample
- *
- * @ret min_entropy min-entropy of each sample
- */
- static inline __always_inline min_entropy_t
- ENTROPY_INLINE ( efi, min_entropy_per_sample ) ( void ) {
-
- /* We use essentially the same mechanism as for the BIOS
- * RTC-based entropy source, and so assume the same
- * min-entropy per sample.
- */
- return MIN_ENTROPY ( 1.3 );
- }
-
- #endif /* _IPXE_EFI_ENTROPY_H */
|