Function creusot_contracts::std::arch::x86_64::_rdseed64_step

1.27.0 · source · 
pub unsafe fn _rdseed64_step(val: &mut u64) -> i32
Available on x86-64 only.
Expand 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.

Intel’s documentation