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