Searched refs:guest_random_seed (Results 1 – 4 of 4) sorted by relevance
349 guest_random_seed = 1; in main()395 guest_random_seed = atoi_positive("Random seed", optarg); in main()
22 uint32_t guest_random_seed; variable438 if (guest_random_seed != last_guest_seed) { in __vm_create()439 pr_info("Random seed: 0x%x\n", guest_random_seed); in __vm_create()440 last_guest_seed = guest_random_seed; in __vm_create()442 guest_rng = new_guest_random_state(guest_random_seed); in __vm_create()2253 guest_random_seed = last_guest_seed = random(); in kvm_selftest_init()2254 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()
94 extern uint32_t guest_random_seed;