// 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 <signal.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 = rdtsc();
        do {
                tmp = READ_ONCE(tsc_sync);
                local_tsc = rdtsc();
                WRITE_ONCE(tsc_sync, local_tsc);
                if (unlikely(local_tsc < tmp))
                        GUEST_SYNC_ARGS(0, local_tsc, tmp, 0, 0);

        } 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;
        static bool first_cpu_done;
        struct kvm_vcpu *vcpu;

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

        vcpu = vm_vcpu_add(vm, vcpu_id, guest_code);

        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 uc;

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

                switch (get_ucall(vcpu, &uc)) {
                case UCALL_DONE:
                        goto out;

                case UCALL_SYNC:
                        printf("Guest %d sync %lx %lx %ld\n", vcpu->id,
                               uc.args[2], uc.args[3], uc.args[2] - uc.args[3]);
                        failures++;
                        break;

                default:
                        TEST_FAIL("Unknown ucall %lu", uc.cmd);
                }
        }
 out:
        return (void *)failures;
}

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

        vm = vm_create(NR_TEST_VCPUS);
        vm_ioctl(vm, KVM_SET_TSC_KHZ, (void *) TEST_TSC_KHZ);

        pthread_spin_init(&create_lock, PTHREAD_PROCESS_PRIVATE);
        pthread_t cpu_threads[NR_TEST_VCPUS];
        unsigned long cpu;
        for (cpu = 0; cpu < NR_TEST_VCPUS; cpu++)
                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 += (unsigned long)this_cpu_failures;
        }

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