_rdseed64_step
Classification
Other, Random, CPUID Test: RDSEED
Header File
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