_rdrand64_step
Classification
Other, Random, CPUID Test: RDRAND
Header File
Instruction
RDRAND r64
Synopsis
_rdrand64_step(unsigned __int64* val);
Description
Read a hardware generated 64-bit random value and store the result in "val". Return 1 if a random value was generated, and 0 otherwise.
Operation
IF HW_RND_GEN.ready == 1
val[63:0] := HW_RND_GEN.data
dst := 1
ELSE
val[63:0] := 0
dst := 0
FI