@@ -13,7 +13,7 @@ int cpu_has_rdrand()
14#ifdef arch_x86_64
14#ifdef arch_x86_64
15// Returns 1 on success
15// Returns 1 on success
16−inline int _rdrand64_step(uint64_t *therand)
16+static inline int _rdrand64_step(uint64_t *therand)
18 unsigned char err;
18 unsigned char err;
19 asm volatile("rdrand %0 ; setc %1"
19 asm volatile("rdrand %0 ; setc %1"
@@ -56,7 +56,7 @@ int get_rand_bytes(uint8_t *therand, size_t len)
57#ifdef arch_i386
57#ifdef arch_i386
58// Returns 1 on success
58// Returns 1 on success
59−inline int _rdrand32_step(uint32_t *therand)
59+static inline int _rdrand32_step(uint32_t *therand)
61 unsigned char err;
61 unsigned char err;
62 asm volatile("rdrand %0 ; setc %1"
62 asm volatile("rdrand %0 ; setc %1"