Searched refs:RDRAND (Results 1 – 8 of 8) sorted by relevance
27 ; Generates a 16 bit random number through RDRAND instruction.46 ; Generates a 32 bit random number through RDRAND instruction.65 ; Generates a 64 bit random number through one RDRAND instruction.
28 ; Generates a 16 bit random number through RDRAND instruction.47 ; Generates a 32 bit random number through RDRAND instruction.66 ; Generates a 64 bit random number through one RDRAND instruction.
30 ; Generates a 16 bit random number through RDRAND instruction.50 ; Generates a 32 bit random number through RDRAND instruction.70 ; Generates a 64 bit random number through RDRAND instruction.
27 ; Generates a 16 bit random number through RDRAND instruction.47 ; Generates a 32 bit random number through RDRAND instruction.67 ; Generates a 64 bit random number through RDRAND instruction.
12 [Enable RDRAND Hardware RNG Hash Seed generation on supported x86/x64 platforms.]),19 AC_MSG_RESULT([RDRAND Hardware RNG Hash Seed enabled on supported x86/x64 platforms])21 AC_MSG_RESULT([RDRAND Hardware RNG Hash Seed disabled. Use --enable-rdrand to enable])
329 UINT32 RDRAND:1; member
273 PRINT_BIT_FIELD (Ecx, RDRAND); in CpuidVersionInfo()