vfio_pci_reflck_put 1290 drivers/vfio/pci/vfio_pci.c static void vfio_pci_reflck_put(struct vfio_pci_reflck *reflck);
vfio_pci_reflck_put 1379 drivers/vfio/pci/vfio_pci.c 	vfio_pci_reflck_put(vdev->reflck);