| .. | .. |
|---|
| 19 | 19 | void add_interrupt_randomness(int irq) __latent_entropy; |
|---|
| 20 | 20 | void add_hwgenerator_randomness(const void *buf, size_t len, size_t entropy); |
|---|
| 21 | 21 | |
|---|
| 22 | | -#if defined(LATENT_ENTROPY_PLUGIN) && !defined(__CHECKER__) |
|---|
| 23 | 22 | static inline void add_latent_entropy(void) |
|---|
| 24 | 23 | { |
|---|
| 24 | +#if defined(LATENT_ENTROPY_PLUGIN) && !defined(__CHECKER__) |
|---|
| 25 | 25 | add_device_randomness((const void *)&latent_entropy, sizeof(latent_entropy)); |
|---|
| 26 | | -} |
|---|
| 27 | 26 | #else |
|---|
| 28 | | -static inline void add_latent_entropy(void) { } |
|---|
| 27 | + add_device_randomness(NULL, 0); |
|---|
| 29 | 28 | #endif |
|---|
| 29 | +} |
|---|
| 30 | 30 | |
|---|
| 31 | 31 | void get_random_bytes(void *buf, int len); |
|---|
| 32 | 32 | int __must_check get_random_bytes_arch(void *buf, int len); |
|---|