On 29.11.2023 16:24, Nicola Vetrini wrote: > --- a/xen/arch/x86/i8259.c > +++ b/xen/arch/x86/i8259.c > @@ -19,6 +19,7 @@ > #include <xen/delay.h> > #include <asm/apic.h> > #include <asm/asm_defns.h> > +#include <asm/setup.h> > #include <io_ports.h> > #include <irq_vectors.h>
A patch doing this (among other things) is already pending: "x86: detect PIC aliasing on ports other than 0x[2A][01]". Jan