void kvm_arch_reset_vcpu(CPUX86State *env)

{

    env->exception_injected = -1;

    env->interrupt_injected = -1;

    env->xcr0 = 1;

    if (kvm_irqchip_in_kernel()) {

        env->mp_state = cpu_is_bsp(env) ? KVM_MP_STATE_RUNNABLE :

                                          KVM_MP_STATE_UNINITIALIZED;

    } else {

        env->mp_state = KVM_MP_STATE_RUNNABLE;

    }

}

void kvm_arch_reset_vcpu(CPUX86State *env)

{

    env->exception_injected = -1;

    env->interrupt_injected = -1;

    env->xcr0 = 1;

    if (kvm_irqchip_in_kernel()) {

        env->mp_state = cpu_is_bsp(env) ? KVM_MP_STATE_RUNNABLE :

                                          KVM_MP_STATE_UNINITIALIZED;

    } else {

        env->mp_state = KVM_MP_STATE_RUNNABLE;

    }

}

void FUNC_0(CPUX86State *VAR_0)

{

    VAR_0->exception_injected = -1;

    VAR_0->interrupt_injected = -1;

    VAR_0->xcr0 = 1;

    if (kvm_irqchip_in_kernel()) {

        VAR_0->mp_state = cpu_is_bsp(VAR_0) ? KVM_MP_STATE_RUNNABLE :

                                          KVM_MP_STATE_UNINITIALIZED;

    } else {

        VAR_0->mp_state = KVM_MP_STATE_RUNNABLE;

    }

}

void FUNC_0(CPUX86State *VAR_0)
{ VAR_0->exception_injected = -1; VAR_0->interrupt_injected = -1; VAR_0->xcr0 = 1; if (kvm_irqchip_in_kernel()) { VAR_0->mp_state = cpu_is_bsp(VAR_0) ? KVM_MP_STATE_RUNNABLE :
KVM_MP_STATE_UNINITIALIZED; } else { VAR_0->mp_state = KVM_MP_STATE_RUNNABLE; } }