Function risc0_zkvm_platform::syscall::sys_rand

#[no_mangle]
pub unsafe extern "C" fn sys_rand(recv_buf: *mut u32, words: usize)

Safety

recv_buf must be aligned and dereferenceable.