Searched refs:guest_random_seed (Results 1 – 4 of 4) sorted by relevance
314 guest_random_seed = 1; in main()360 guest_random_seed = atoi_positive("Random seed", optarg); in main()
23 u32 guest_random_seed; variable518 if (guest_random_seed != last_guest_seed) { in __vm_create()519 pr_info("Random seed: 0x%x\n", guest_random_seed); in __vm_create()520 last_guest_seed = guest_random_seed; in __vm_create()522 guest_rng = new_guest_random_state(guest_random_seed); in __vm_create()2283 guest_random_seed = last_guest_seed = random(); in kvm_selftest_init()2284 pr_info("Random seed: 0x%x\n", guest_random_seed); in kvm_selftest_init()
58 rand_state = new_guest_random_state(guest_random_seed + vcpu_idx); in memstress_guest_code()
115 extern u32 guest_random_seed;