11 #error "Never use <rdseedintrin.h> directly; include <immintrin.h> instead."
14 #ifndef __RDSEEDINTRIN_H
15 #define __RDSEEDINTRIN_H
18 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__, __target__("rdseed")))
44 return (
int) __builtin_ia32_rdseed16_step(
__p);
71 return (
int) __builtin_ia32_rdseed32_step(
__p);
97 _rdseed64_step(
unsigned long long *
__p)
99 return (
int) __builtin_ia32_rdseed64_step(
__p);
103 #undef __DEFAULT_FN_ATTRS
static __inline__ uint32_t volatile uint32_t * __p
#define __DEFAULT_FN_ATTRS
static __inline__ int __DEFAULT_FN_ATTRS _rdseed16_step(unsigned short *__p)
Stores a hardware-generated 16-bit random value in the memory at __p.
static __inline__ int __DEFAULT_FN_ATTRS _rdseed32_step(unsigned int *__p)
Stores a hardware-generated 32-bit random value in the memory at __p.