On 5 October 2012 13:49, Peter Crosthwaite <peter.crosthwa...@petalogix.com> wrote: > On Fri, Oct 5, 2012 at 10:42 PM, Peter Maydell <peter.mayd...@linaro.org> > wrote: >> You need also an entry for irqline. > > Shouldnt need it as irqline is just a cached copy of the IRQ state to > save on qemu_set_irq() spamming. It is not true device state. Init > will just set irqline == -1 on post load which means the device will > conservatively force to IRQ regardless of previous state to the > correct value.
OK, yes, you can rely on the device being inited before inbound migration. -- PMM