new_guest_random_state
struct guest_random_state new_guest_random_state(u32 seed);
guest_rng = new_guest_random_state(guest_random_seed);
rand_state = new_guest_random_state(guest_random_seed + vcpu_idx);