Searched refs:guest_array (Results 1 – 1 of 1) sorted by relevance
140 static void generate_random_array(uint64_t *guest_array, uint64_t size) in generate_random_array() argument145 guest_array[i] = random(); in generate_random_array()152 uint64_t *guest_array; in vcpu_worker() local158 guest_array = addr_gva2hva(vm, (vm_vaddr_t)random_array); in vcpu_worker()159 generate_random_array(guest_array, TEST_PAGES_PER_LOOP); in vcpu_worker()167 generate_random_array(guest_array, TEST_PAGES_PER_LOOP); in vcpu_worker()
