This device doesn't have fields to migrate. Be explicit
by using vmstate_qdev_no_state_to_migrate.
Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
---
hw/core/split-irq.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/hw/core/split-irq.c b/hw/core/split-irq.c
index 3b90af2e8f..a7072f922c 100644
--- a/hw/core/split-irq.c
+++ b/hw/core/split-irq.c
@@ -71,6 +71,7 @@ static void split_irq_class_init(ObjectClass *klass, void *data)
/* No state to reset or migrate */
device_class_set_props(dc, split_irq_properties);
dc->realize = split_irq_realize;
+ dc->vmsd = vmstate_qdev_no_state_to_migrate;
/* Reason: Needs to be wired up to work */
dc->user_creatable = false;
--
2.21.3