_rdrand32_step
Classification
Other, Random, CPUID Test: RDRAND
Header File
immintrin.h
Instruction
RDRAND r32
Synopsis
 _rdrand32_step(unsigned int* val);
Description
Read a hardware generated 32-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[31:0] := HW_RND_GEN.data
	dst := 1
ELSE
	val[31:0] := 0
	dst := 0
FI