On 30 June 2015 at 11:50, Zhu Guihua <zhugh.f...@cn.fujitsu.com> wrote: > Originally, there are some devices (such as hpet, rtc) reset before apic > reset. > When these devices reset, they would send irq to apic.
In our current (arguably broken) reset design, this is a bug in those devices -- they shouldn't be raising interrupts from their reset functions. -- PMM