static void kvm_reset_vcpu(void *opaque)

{

    CPUState *env = opaque;



    kvm_arch_reset_vcpu(env);

    if (kvm_arch_put_registers(env)) {

        fprintf(stderr, "Fatal: kvm vcpu reset failed\n");

        abort();

    }

}

static void kvm_reset_vcpu(void *opaque)

{

    CPUState *env = opaque;



    kvm_arch_reset_vcpu(env);

    if (kvm_arch_put_registers(env)) {

        fprintf(stderr, "Fatal: kvm vcpu reset failed\n");

        abort();

    }

}

    CPUState *env = opaque;     CPUState *env = opaque;     if (kvm_arch_put_registers(env)) {         fprintf(stderr, "Fatal: kvm vcpu reset failed\n");         abort();     CPUState *env = opaque;
static void FUNC_0(void *VAR_0)

{

    CPUState *env = VAR_0;



    kvm_arch_reset_vcpu(env);

    if (kvm_arch_put_registers(env)) {

        fprintf(stderr, "Fatal: kvm vcpu reset failed\n");

        abort();

    }

}

static void FUNC_0(void *VAR_0)
{ CPUState *env = VAR_0; kvm_arch_reset_vcpu(env); if (kvm_arch_put_registers(env)) { fprintf(stderr, "Fatal: kvm vcpu reset failed\n"); abort(); } }