This device doesn't have fields to migrate. Be explicit by using vmstate_qdev_no_state_to_migrate.
Add a more descriptive comment to keep a clear separation between static property vs runtime changeable. Signed-off-by: Philippe Mathieu-Daudé <f4...@amsat.org> --- hw/intc/arm_gicv2m.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/hw/intc/arm_gicv2m.c b/hw/intc/arm_gicv2m.c index d564b857eba..664cc9fb032 100644 --- a/hw/intc/arm_gicv2m.c +++ b/hw/intc/arm_gicv2m.c @@ -55,6 +55,7 @@ struct ARMGICv2mState { MemoryRegion iomem; qemu_irq spi[GICV2M_NUM_SPI_MAX]; + /* Properties */ uint32_t base_spi; uint32_t num_spi; }; @@ -182,6 +183,7 @@ static void gicv2m_class_init(ObjectClass *klass, void *data) device_class_set_props(dc, gicv2m_properties); dc->realize = gicv2m_realize; + dc->vmsd = vmstate_qdev_no_state_to_migrate; } static const TypeInfo gicv2m_info = { -- 2.26.2