Function creusot_contracts::std::arch::x86_64::_rdrand64_step
1.27.0 · source · pub unsafe fn _rdrand64_step(val: &mut u64) -> i32Available on x86-64 only.
Expand description
Read a hardware generated 64-bit random value and store the result in val. Returns 1 if a random value was generated, and 0 otherwise.