Symbol: vfio_device_cdev_opened
drivers/vfio/pci/vfio_pci_core.c
1302
if (vfio_device_cdev_opened(&vdev->vdev))
drivers/vfio/pci/vfio_pci_core.c
1423
if (!!hdr.count == vfio_device_cdev_opened(&vdev->vdev))