int kvm_arm_sync_mpstate_to_qemu(ARMCPU *cpu)

{

    if (cap_has_mp_state) {

        struct kvm_mp_state mp_state;

        int ret = kvm_vcpu_ioctl(CPU(cpu), KVM_GET_MP_STATE, &mp_state);

        if (ret) {

            fprintf(stderr, "%s: failed to get MP_STATE %d/%s\n",

                    __func__, ret, strerror(-ret));

            abort();

        }

        cpu->powered_off = (mp_state.mp_state == KVM_MP_STATE_STOPPED);

    }



    return 0;

}

int kvm_arm_sync_mpstate_to_qemu(ARMCPU *cpu)

{

    if (cap_has_mp_state) {

        struct kvm_mp_state mp_state;

        int ret = kvm_vcpu_ioctl(CPU(cpu), KVM_GET_MP_STATE, &mp_state);

        if (ret) {

            fprintf(stderr, "%s: failed to get MP_STATE %d/%s\n",

                    __func__, ret, strerror(-ret));

            abort();

        }

        cpu->powered_off = (mp_state.mp_state == KVM_MP_STATE_STOPPED);

    }



    return 0;

}

        cpu->powered_off = (mp_state.mp_state == KVM_MP_STATE_STOPPED);
int FUNC_0(ARMCPU *VAR_0)

{

    if (cap_has_mp_state) {

        struct kvm_mp_state VAR_1;

        int VAR_2 = kvm_vcpu_ioctl(CPU(VAR_0), KVM_GET_MP_STATE, &VAR_1);

        if (VAR_2) {

            fprintf(stderr, "%s: failed to get MP_STATE %d/%s\n",

                    __func__, VAR_2, strerror(-VAR_2));

            abort();

        }

        VAR_0->powered_off = (VAR_1.VAR_1 == KVM_MP_STATE_STOPPED);

    }



    return 0;

}

int FUNC_0(ARMCPU *VAR_0)
{ if (cap_has_mp_state) { struct kvm_mp_state VAR_1; int VAR_2 = kvm_vcpu_ioctl(CPU(VAR_0), KVM_GET_MP_STATE, &VAR_1); if (VAR_2) { fprintf(stderr, "%s: failed to get MP_STATE %d/%s\n",
__func__, VAR_2, strerror(-VAR_2)); abort(); } VAR_0->powered_off = (VAR_1.VAR_1 == KVM_MP_STATE_STOPPED); } return 0; }