PCI pass-through does not work

[Rajil Saraswat]

Hello,

Following the docs (https://wiki.freebsd.org/bhyve/pci_passthru), i
specified pptdevs="3/0/0 3/0/1" in loader.conf for my onboard intel
NICs. However, the ixgbe driver still picked up the devices and they
appeared in the ifconfig output.

Do i need to disable the ixgbe driver in the kernel?

Here is the pciconf -v -l output

ix0 at pci0:3:0:0: class=0x020000 card=0x152815d9 chip=0x15288086 rev=0x01
hdr=0x00
    vendor     = 'Intel Corporation'
    device     = 'Ethernet Controller 10-Gigabit X540-AT2'
    class      = network
    subclass   = ethernet
ix1 at pci0:3:0:1: class=0x020000 card=0x152815d9 chip=0x15288086 rev=0x01
hdr=0x00
    vendor     = 'Intel Corporation'
    device     = 'Ethernet Controller 10-Gigabit X540-AT2'
    class      = network
    subclass   = ethernet

Thanks,

Rajil