# CONFIG_VFIO_DEVICE_CDEV is not set
