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.