@@ -13,7 +13,7 @@ int cpu_has_rdrand()
1313
1414#ifdef arch_x86_64
1515// Returns 1 on success
16−inline int _rdrand64_step(uint64_t *therand)
16+static inline int _rdrand64_step(uint64_t *therand)
1717{
1818 unsigned char err;
1919 asm volatile("rdrand %0 ; setc %1"
@@ -56,7 +56,7 @@ int get_rand_bytes(uint8_t *therand, size_t len)
5656
5757#ifdef arch_i386
5858// Returns 1 on success
59−inline int _rdrand32_step(uint32_t *therand)
59+static inline int _rdrand32_step(uint32_t *therand)
6060{
6161 unsigned char err;
6262 asm volatile("rdrand %0 ; setc %1"