On Sun, Mar 12, 2023 at 01:02:18PM +0100, Bernhard Beschow wrote: > xen_intx_set_irq() doesn't depend on PIIX3State. In order to resolve > TYPE_PIIX3_XEN_DEVICE and in order to make Xen agnostic about the > precise south bridge being used, set up Xen's PCI IRQ handling of PIIX3 > in the board. > > Signed-off-by: Bernhard Beschow <[email protected]> > Reviewed-by: Michael S. Tsirkin <[email protected]>
Reviewed-by: Anthony PERARD <[email protected]> Thanks, -- Anthony PERARD
