Re: [Qemu-devel] [PATCH 11/22] i8259: Update IRQ state after reset

[Avi Kivity]

> >
> > What I'm saying is that RESET order isn't defined on real hardware
> > either, due to signal propagation effects.
> 
> Yes, but there the millions of reset cycles help immensely to
> suppress
> the effects.
> 

That's modeled correctly.  After the end of phase 1, everything is settled.  
During phase 1, you can see some spikes, but you can see them on real hardware 
as well.