CONFIG_VFIO_PCI_CORE (not configurable)
modulename: vfio-pci-core.ko
configname: CONFIG_VFIO_PCI_CORE
Linux Kernel Configuration
└─>Device Drivers
└─>VFIO Non-Privileged userspace driver framework
└─>PCI support
└─>VFIO support for PCI devices
└─>VFIO_PCI_CORE