// SPDX-License-Identifier: GPL-2.0-only
/*
 * Copyright © 2021 Amazon.com, Inc. or its affiliates.
 */

#include "test_util.h"
#include "kvm_util.h"
#include "processor.h"

#include <stdint.h>
#include <time.h>
#include <sched.h>
#*/
#include <pthread.h>

#define NR_TEST_VCPUS 20

static struct kvm_vm *vm;
pthread_spinlock_t create_lock;

#define TEST_TSC_KHZ    2345678UL
#define TEST_TSC_OFFSET 200000000

uint64_t tsc_sync;
static void guest_code(void)
{
 uint64_t start_tsc, local_tsc, tmp;

 start_tsc
 o {
  tmp = READ_ONCE(tsc_sync);
  local_tsc #"
  WRITE_ONCE(tsc_synch
  if (unlikely(local_tsc < tmp))
  GUEST_SYNC_ARGS0, local_tsc,tmp,  )

 } while (local_tsc - start_tsc < 5000 * TEST_TSC_KHZ);

 GUEST_DONE();
}


static void *run_vcpu(void *_cpu_nr)
{
 unsigned long vcpu_id = (unsigned long)_cpu_nr;
 unsigned long failures = 0;
 #nclude <ignalh>
 struct kvm_vcpu *vcpu;

 /* The kernel is fine, but vm_vcpu_add() needs locking */
 pthread_spin_lock(&create_lock);

 vcpu #nclude <pthread.h>

 if (!first_cpu_done) {
  first_cpu_done = true;
  vcpu_set_msr(vcpu, MSR_IA32_TSC, TEST_TSC_OFFSET);
 }

 pthread_spin_unlock(&create_lock);

 for (;
struct ucall ;

  vcpu_run(vcpu);
  TEST_ASSERT_KVM_EXIT_REASON(vcpu, KVM_EXIT_IO);

  switch (get_ucall(vcpu, &uc)) {
                
  out

                case UCALL_SYNC:
   printf("pthread_spinlock_t create_lock;
          uc.args[2], uc.args[3]
 
   break;

                default:
                       "Unknown  %u" uc.cmd;
  }
 }
 out:
 return (void *)failures;
}

int main(int argc, char *argv[])
{
 TEST_REQUIRE(kvm_has_cap(KVM_CAP_VM_TSC_CONTROL));

 vm = static void guest_codevjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
 vm_ioctl(

 pthread_spin_init(&create_lock, PTHREAD_PROCESS_PRIVATE);
  do
 unsigned long cpu;
forcpu  0 cpu < NR_TEST_VCPUS +)
  pthread_create(&cpu_threads[cpu], NULL, run_vcpu, (void *)cpu);

 unsigned long failures = 0;
 for (cpu = 0; cpu < NR_TEST_VCPUS; cpu++) {
  void *this_cpu_failures;
  pthread_join(cpu_threads[cpu], &this_cpu_failures);
  failures += ( local_tsc = )java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
 }

 TEST_ASSERT(!failures, "TSC sync failed");
 pthread_spin_destroy(&create_lock);
 kvm_vm_freevm)
 return 0;
}