search for: bdfnotat

...AGES: 0x0000000000000200 2MB PAGES: 0x00000000000003fb 1GB PAGES: 0x0000000000000000 libxl: error: libxl_pci.c:790:libxl__device_pci_add PCI device 0:12:0.70 is not assignable There is no function 70 on that device. In relation to that, the BDF documentation (http://wiki.xensource.com/xenwiki/BDFNotation) seems to imply that you can specify the extended BDF notation on your kernel boot line in grub. i.e. xen-pciback.hide=(0000:12:00.*) does not work. You''ll get an error in the kernel log. Actually, if you look at the code for pci_stub.c in the linux kernel (at least for Jeremy branch...