_rdseed64_step
Classification
Other, Random, CPUID Test: RDSEED
Header File
immintrin.h
Instruction
RDSEED r64
Synopsis
 _rdseed64_step(unsigned __int64 * val);
Description
Read a 64-bit NIST SP800-90B and SP800-90C compliant random value and store in "val". Return 1 if a random value was generated, and 0 otherwise.
Operation
IF HW_NRND_GEN.ready == 1
	val[63:0] := HW_NRND_GEN.data
	dst := 1
ELSE
	val[63:0] := 0
	dst := 0
FI