25 #error "Never use <rdseedintrin.h> directly; include <x86intrin.h> instead."
28 #ifndef __RDSEEDINTRIN_H
29 #define __RDSEEDINTRIN_H
32 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__, __target__("rdseed")))
35 _rdseed16_step(
unsigned short *
__p)
37 return __builtin_ia32_rdseed16_step(__p);
41 _rdseed32_step(
unsigned int *
__p)
43 return __builtin_ia32_rdseed32_step(__p);
48 _rdseed64_step(
unsigned long long *
__p)
50 return __builtin_ia32_rdseed64_step(__p);
54 #undef __DEFAULT_FN_ATTRS
static __inline unsigned char unsigned int unsigned int unsigned int * __p
Definition: adxintrin.h:38
#define __DEFAULT_FN_ATTRS
Definition: rdseedintrin.h:32