preflck          1462 drivers/vfio/pci/vfio_pci.c 	struct vfio_pci_reflck **preflck = data;
preflck          1479 drivers/vfio/pci/vfio_pci.c 		*preflck = vdev->reflck;