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