static void vm_change_state_handler(void *opaque, int running,

                                    RunState state)

{

    GICv3ITSState *s = (GICv3ITSState *)opaque;

    Error *err = NULL;

    int ret;



    if (running) {

        return;

    }



    ret = kvm_device_access(s->dev_fd, KVM_DEV_ARM_VGIC_GRP_CTRL,

                            KVM_DEV_ARM_ITS_SAVE_TABLES, NULL, true, &err);

    if (err) {

        error_report_err(err);

    }

    if (ret < 0 && ret != -EFAULT) {

        abort();

    }

}

static void vm_change_state_handler(void *opaque, int running,

                                    RunState state)

{

    GICv3ITSState *s = (GICv3ITSState *)opaque;

    Error *err = NULL;

    int ret;



    if (running) {

        return;

    }



    ret = kvm_device_access(s->dev_fd, KVM_DEV_ARM_VGIC_GRP_CTRL,

                            KVM_DEV_ARM_ITS_SAVE_TABLES, NULL, true, &err);

    if (err) {

        error_report_err(err);

    }

    if (ret < 0 && ret != -EFAULT) {

        abort();

    }

}

    int ret;     ret = kvm_device_access(s->dev_fd, KVM_DEV_ARM_VGIC_GRP_CTRL,                             KVM_DEV_ARM_ITS_SAVE_TABLES, NULL, true, &err);     if (ret < 0 && ret != -EFAULT) {         abort();
static void FUNC_0(void *VAR_0, int VAR_1,

                                    RunState VAR_2)

{

    GICv3ITSState *s = (GICv3ITSState *)VAR_0;

    Error *err = NULL;

    int VAR_3;



    if (VAR_1) {

        return;

    }



    VAR_3 = kvm_device_access(s->dev_fd, KVM_DEV_ARM_VGIC_GRP_CTRL,

                            KVM_DEV_ARM_ITS_SAVE_TABLES, NULL, true, &err);

    if (err) {

        error_report_err(err);

    }

    if (VAR_3 < 0 && VAR_3 != -EFAULT) {

        abort();

    }

}

static void FUNC_0(void *VAR_0, int VAR_1,
RunState VAR_2)
{ GICv3ITSState *s = (GICv3ITSState *)VAR_0; Error *err = NULL; int VAR_3; if (VAR_1) { return; } VAR_3 = kvm_device_access(s->dev_fd, KVM_DEV_ARM_VGIC_GRP_CTRL,
KVM_DEV_ARM_ITS_SAVE_TABLES, NULL, true, &err); if (err) { error_report_err(err); } if (VAR_3 < 0 && VAR_3 != -EFAULT) { abort(); } }