Xen users - Nov 2013 - Installing Xen on Macbook Pro (11.2): 'can't find IRQ for PCI INT A' messages.

Hi,


Recently i bought a macbook pro retina, and since i''ve been happily 
running Xen on my server machine for quite a few years now, i decided to 
install it to the macbook as well so that i can use it to try out new 
features before implementing them on the server.

Before trying xen, i''ve gone through the motion of installing Ubuntu 
13.10, which is now running smoothly. I''ve setup the system to boot 
directly from EFI and so avoided boot-camp (bios emulation tools) 
altogether.

Noticing that Xen also has efi support, i read up on the documentation, 
and have it now booting from xen.efi, with a xen.cfg defining what 
kernel and initrd are to be used (using the same kernel & initrd i use 
for ubuntu, which is a mainline 3.13-rc1 kernel, with xen 4.4 trunk).

To my happy surprise, xen seemed to boot fine with this setup, all the 
way up to the desktop, my keyboard, trackpad & graphics working fine, as 
well as thunderbolt ethernet. However, some things are also broken, most 
noticably the wireless driver doesn''t work, which is kind of a deal 
breaker on a laptop.

So time to dig in the logs, to see what''s going on, here''s a
part from
my dmesg that hints that something is wrong:
[    3.957006] pcieport 0000:00:01.0: device [8086:0d01] has invalid 
IRQ; check vendor BIOS
[    3.957018] pcieport 0000:00:01.0: can''t find IRQ for PCI INT A; 
please try using pci=biosirq
[    3.957108] pcieport 0000:00:1c.0: device [8086:8c10] has invalid 
IRQ; check vendor BIOS
[    3.957120] pcieport 0000:00:1c.0: enabling device (0000 -> 0003)
[    3.957128] pcieport 0000:00:1c.0: can''t find IRQ for PCI INT A; 
please try using pci=biosirq
[    3.957279] pcieport 0000:00:1c.2: device [8086:8c14] has invalid 
IRQ; check vendor BIOS
[    3.957295] pcieport 0000:00:1c.2: can''t find IRQ for PCI INT C; 
please try using pci=biosirq
[    3.957434] pcieport 0000:00:1c.3: device [8086:8c16] has invalid 
IRQ; check vendor BIOS
[    3.957450] pcieport 0000:00:1c.3: can''t find IRQ for PCI INT D; 
please try using pci=biosirq
[    3.957583] pcieport 0000:00:1c.4: device [8086:8c18] has invalid 
IRQ; check vendor BIOS
[    3.957599] pcieport 0000:00:1c.4: can''t find IRQ for PCI INT A; 
please try using pci=biosirq
[    3.957746] pcieport 0000:05:00.0: device [8086:156d] has invalid 
IRQ; check vendor BIOS
[    3.957755] pcieport 0000:05:00.0: can''t find IRQ for PCI INT A; 
please try using pci=biosirq
[    3.957802] pcieport 0000:06:00.0: device [8086:156d] has invalid 
IRQ; check vendor BIOS
[    3.957812] pcieport 0000:06:00.0: can''t find IRQ for PCI INT A; 
please try using pci=biosirq
[    3.957910] pcieport 0000:06:03.0: device [8086:156d] has invalid 
IRQ; check vendor BIOS
[    3.957915] pcieport 0000:06:03.0: enabling device (0000 -> 0003)
[    3.957922] pcieport 0000:06:03.0: can''t find IRQ for PCI INT A; 
please try using pci=biosirq
[    3.958019] pcieport 0000:06:04.0: device [8086:156d] has invalid 
IRQ; check vendor BIOS
[    3.958027] pcieport 0000:06:04.0: can''t find IRQ for PCI INT A; 
please try using pci=biosirq
[    3.958128] pcieport 0000:06:05.0: device [8086:156d] has invalid 
IRQ; check vendor BIOS
[    3.958133] pcieport 0000:06:05.0: enabling device (0000 -> 0003)
[    3.958140] pcieport 0000:06:05.0: can''t find IRQ for PCI INT A; 
please try using pci=biosirq
[    3.958242] pcieport 0000:06:06.0: device [8086:156d] has invalid 
IRQ; check vendor BIOS
[    3.958250] pcieport 0000:06:06.0: can''t find IRQ for PCI INT A; 
please try using pci=biosirq

Has anyone run into this before? Is there something i can do to improve 
this? Any settings/patches i should try?
(the obvious thing, adding pci=biosirq to the kernel commandline did not 
make any difference here)


Regards,
Mark.