int s390_cpu_restart(S390CPU *cpu)

{

    if (kvm_enabled()) {

        return kvm_s390_cpu_restart(cpu);

    }

    return -ENOSYS;

}

int s390_cpu_restart(S390CPU *cpu)

{

    if (kvm_enabled()) {

        return kvm_s390_cpu_restart(cpu);

    }

    return -ENOSYS;

}

int FUNC_0(S390CPU *VAR_0)

{

    if (kvm_enabled()) {

        return kvm_s390_cpu_restart(VAR_0);

    }

    return -ENOSYS;

}

int FUNC_0(S390CPU *VAR_0)
{ if (kvm_enabled()) { return kvm_s390_cpu_restart(VAR_0); } return -ENOSYS; }