pci: introduce library and driver
[dpdk.git] / lib / librte_eal / linuxapp / eal / eal.c
index 18a07b0..017c402 100644 (file)
 #include <rte_cpuflags.h>
 #include <rte_interrupts.h>
 #include <rte_bus.h>
-#include <rte_pci.h>
 #include <rte_dev.h>
 #include <rte_devargs.h>
 #include <rte_version.h>
 #include <rte_atomic.h>
 #include <malloc_heap.h>
+#include <rte_vfio.h>
 
 #include "eal_private.h"
 #include "eal_thread.h"
@@ -714,11 +714,6 @@ static int rte_eal_vfio_setup(void)
                return -1;
        vfio_enabled = vfio_is_enabled("vfio");
 
-       if (!internal_config.no_pci) {
-               if (!pci_vfio_is_enabled())
-                       RTE_LOG(DEBUG, EAL, "VFIO PCI modules not loaded\n");
-       }
-
        if (vfio_enabled) {
 
                /* if we are primary process, create a thread to communicate with