// SPDX-License-Identifier: GPL-2.0-only
/*
 * maximum APIC ID capability tests
 *
 * Copyright (C) 2022, Intel, Inc.
 *
 * Tests for getting/setting maximum APIC ID capability
 */

#include "kvm_util.h"

#define MAX_VCPU_ID     2

int main(int argc, char *argv[])
{
        struct kvm_vm *vm;
        int ret;

        vm = vm_create_barebones();

        /* Get KVM_CAP_MAX_VCPU_ID cap supported in KVM */
        ret = vm_check_cap(vm, KVM_CAP_MAX_VCPU_ID);

        /* Try to set KVM_CAP_MAX_VCPU_ID beyond KVM cap */
        ret = __vm_enable_cap(vm, KVM_CAP_MAX_VCPU_ID, ret + 1);
        TEST_ASSERT(ret < 0,
                    "Setting KVM_CAP_MAX_VCPU_ID beyond KVM cap should fail");

        /* Test BOOT_CPU_ID interaction (MAX_VCPU_ID cannot be lower) */
        if (kvm_has_cap(KVM_CAP_SET_BOOT_CPU_ID)) {
                vm_ioctl(vm, KVM_SET_BOOT_CPU_ID, (void *)MAX_VCPU_ID);

                /* Try setting KVM_CAP_MAX_VCPU_ID below BOOT_CPU_ID */
                ret = __vm_enable_cap(vm, KVM_CAP_MAX_VCPU_ID, MAX_VCPU_ID - 1);
                TEST_ASSERT(ret < 0,
                            "Setting KVM_CAP_MAX_VCPU_ID below BOOT_CPU_ID should fail");
        }

        /* Set KVM_CAP_MAX_VCPU_ID */
        vm_enable_cap(vm, KVM_CAP_MAX_VCPU_ID, MAX_VCPU_ID);

        /* Try to set KVM_CAP_MAX_VCPU_ID again */
        ret = __vm_enable_cap(vm, KVM_CAP_MAX_VCPU_ID, MAX_VCPU_ID + 1);
        TEST_ASSERT(ret < 0,
                    "Setting KVM_CAP_MAX_VCPU_ID multiple times should fail");

        /* Create vCPU with id beyond KVM_CAP_MAX_VCPU_ID cap */
        ret = __vm_ioctl(vm, KVM_CREATE_VCPU, (void *)MAX_VCPU_ID);
        TEST_ASSERT(ret < 0, "Creating vCPU with ID > MAX_VCPU_ID should fail");

        /* Create vCPU with bits 63:32 != 0, but an otherwise valid id */
        ret = __vm_ioctl(vm, KVM_CREATE_VCPU, (void *)(1L << 32));
        TEST_ASSERT(ret < 0, "Creating vCPU with ID[63:32] != 0 should fail");

        /* Create vCPU with id within bounds */
        ret = __vm_ioctl(vm, KVM_CREATE_VCPU, (void *)0);
        TEST_ASSERT(ret >= 0, "Creating vCPU with ID 0 should succeed");

        close(ret);
        kvm_vm_free(vm);
        return 0;
}