CONFIG_VFIO_VIRQFD (not configurable)
configname: CONFIG_VFIO_VIRQFD
Linux Kernel Configuration
└─>Device Drivers
└─>VFIO Non-Privileged userspace driver framework
└─>VFIO_VIRQFD