|
@@ -129,6 +129,9 @@ static void vfio_migration_set_device_state(VFIODevice *vbasedev,
|
|
{
|
|
{
|
|
VFIOMigration *migration = vbasedev->migration;
|
|
VFIOMigration *migration = vbasedev->migration;
|
|
|
|
|
|
|
|
+ trace_vfio_migration_set_device_state(vbasedev->name,
|
|
|
|
+ mig_state_to_str(state));
|
|
|
|
+
|
|
migration->device_state = state;
|
|
migration->device_state = state;
|
|
vfio_migration_send_event(vbasedev);
|
|
vfio_migration_send_event(vbasedev);
|
|
}
|
|
}
|
|
@@ -150,6 +153,9 @@ static int vfio_migration_set_state(VFIODevice *vbasedev,
|
|
g_strdup_printf("%s: Failed setting device state to %s.",
|
|
g_strdup_printf("%s: Failed setting device state to %s.",
|
|
vbasedev->name, mig_state_to_str(new_state));
|
|
vbasedev->name, mig_state_to_str(new_state));
|
|
|
|
|
|
|
|
+ trace_vfio_migration_set_state(vbasedev->name, mig_state_to_str(new_state),
|
|
|
|
+ mig_state_to_str(recover_state));
|
|
|
|
+
|
|
if (new_state == migration->device_state) {
|
|
if (new_state == migration->device_state) {
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|
|
@@ -209,8 +215,6 @@ static int vfio_migration_set_state(VFIODevice *vbasedev,
|
|
migration->data_fd = mig_state->data_fd;
|
|
migration->data_fd = mig_state->data_fd;
|
|
}
|
|
}
|
|
|
|
|
|
- trace_vfio_migration_set_state(vbasedev->name, mig_state_to_str(new_state));
|
|
|
|
-
|
|
|
|
return 0;
|
|
return 0;
|
|
|
|
|
|
reset_device:
|
|
reset_device:
|