reflck_lock      1439 drivers/vfio/pci/vfio_pci.c static DEFINE_MUTEX(reflck_lock);
reflck_lock      1492 drivers/vfio/pci/vfio_pci.c 	mutex_lock(&reflck_lock);
reflck_lock      1499 drivers/vfio/pci/vfio_pci.c 	mutex_unlock(&reflck_lock);
reflck_lock      1511 drivers/vfio/pci/vfio_pci.c 	mutex_unlock(&reflck_lock);
reflck_lock      1516 drivers/vfio/pci/vfio_pci.c 	kref_put_mutex(&reflck->kref, vfio_pci_reflck_release, &reflck_lock);