On Fri, 2009-01-30 at 18:12 +0000, Ian Campbell wrote:
Possibly the correct fix might be to use xen_register_gsi() here
instead of xen_allocate_pirq() and get rid of the special case for IRQ
14 and 15 in xen_pci_pirq_enable(). Maybe only 14 and 15 need this
special treatment.
FWIW this also Works For Me.