On Thu, Jul 13, 2023 at 02:18:29PM +0200, Jan Beulich wrote: > On 13.07.2023 13:29, Roger Pau Monné wrote: > > So to recap, I think we are in agreement that calling enable_IO_APIC() > > just ahead of the call to setup_local_APIC() is the preferred > > solution? > > Well, yes and no. My preferred course of action for the issue at hand > would be to convert RTE 0 to ExtInt (under the mentioned set of > conditions). I agree though that we also want to move the masking of > RTEs, and for that I further agree with the placement mentioned above.
So I hacked up a change to set pin 0 to ExtINT mode (and avoid doing the masking early), and I got: (XEN) spurious 8259A interrupt: IRQ7. This was a single interrupt, but still I think the masking is the critical part to get backported. Thanks, Roger.