static int kvm_recommended_vcpus(KVMState *s)

{

    int ret = kvm_check_extension(s, KVM_CAP_NR_VCPUS);

    return (ret) ? ret : 4;

}

static int kvm_recommended_vcpus(KVMState *s)

{

    int ret = kvm_check_extension(s, KVM_CAP_NR_VCPUS);

    return (ret) ? ret : 4;

}

    int ret = kvm_check_extension(s, KVM_CAP_NR_VCPUS);
static int FUNC_0(KVMState *VAR_0)

{

    int VAR_1 = kvm_check_extension(VAR_0, KVM_CAP_NR_VCPUS);

    return (VAR_1) ? VAR_1 : 4;

}

static int FUNC_0(KVMState *VAR_0)
{ int VAR_1 = kvm_check_extension(VAR_0, KVM_CAP_NR_VCPUS); return (VAR_1) ? VAR_1 : 4; }