10 #if !defined __X86INTRIN_H && !defined __IMMINTRIN_H
11 #error "Never use <rdseedintrin.h> directly; include <x86intrin.h> instead."
14 #ifndef __RDSEEDINTRIN_H
15 #define __RDSEEDINTRIN_H
18 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__, __target__("rdseed")))
23 return __builtin_ia32_rdseed16_step(
__p);
29 return __builtin_ia32_rdseed32_step(
__p);
34 _rdseed64_step(
unsigned long long *
__p)
36 return __builtin_ia32_rdseed64_step(
__p);
40 #undef __DEFAULT_FN_ATTRS
static __inline unsigned char unsigned int unsigned int unsigned int * __p
#define __DEFAULT_FN_ATTRS
static __inline__ int __DEFAULT_FN_ATTRS _rdseed16_step(unsigned short *__p)
static __inline__ int __DEFAULT_FN_ATTRS _rdseed32_step(unsigned int *__p)