548 	mutex_lock(&pf_vdev->vf_token->lock);  in vfio_pci_vf_token_user_add()
549 	pf_vdev->vf_token->users += val;  in vfio_pci_vf_token_user_add()
550 	WARN_ON(pf_vdev->vf_token->users < 0);  in vfio_pci_vf_token_user_add()
551 	mutex_unlock(&pf_vdev->vf_token->lock);  in vfio_pci_vf_token_user_add()
1370 			if (!vdev->vf_token)  in vfio_pci_ioctl()
1394 			mutex_lock(&vdev->vf_token->lock);  in vfio_pci_ioctl()
1395 			uuid_copy(&vdev->vf_token->uuid, &uuid);  in vfio_pci_ioctl()
1396 			mutex_unlock(&vdev->vf_token->lock);  in vfio_pci_ioctl()
1756 				      bool vf_token, uuid_t *uuid)  in vfio_pci_validate_vf_token()  argument
1783 	if (!vdev->pdev->is_virtfn && !vdev->vf_token && !vf_token)  in vfio_pci_validate_vf_token()
1792 			if (!vf_token)  in vfio_pci_validate_vf_token()
1800 		if (!vf_token) {  in vfio_pci_validate_vf_token()
1807 		mutex_lock(&pf_vdev->vf_token->lock);  in vfio_pci_validate_vf_token()
1808 		match = uuid_equal(uuid, &pf_vdev->vf_token->uuid);  in vfio_pci_validate_vf_token()
1809 		mutex_unlock(&pf_vdev->vf_token->lock);  in vfio_pci_validate_vf_token()
1818 	} else if (vdev->vf_token) {  in vfio_pci_validate_vf_token()
1819 		mutex_lock(&vdev->vf_token->lock);  in vfio_pci_validate_vf_token()
1820 		if (vdev->vf_token->users) {  in vfio_pci_validate_vf_token()
1821 			if (!vf_token) {  in vfio_pci_validate_vf_token()
1822 				mutex_unlock(&vdev->vf_token->lock);  in vfio_pci_validate_vf_token()
1828 			if (!uuid_equal(uuid, &vdev->vf_token->uuid)) {  in vfio_pci_validate_vf_token()
1829 				mutex_unlock(&vdev->vf_token->lock);  in vfio_pci_validate_vf_token()
1834 		} else if (vf_token) {  in vfio_pci_validate_vf_token()
1835 			uuid_copy(&vdev->vf_token->uuid, uuid);  in vfio_pci_validate_vf_token()
1838 		mutex_unlock(&vdev->vf_token->lock);  in vfio_pci_validate_vf_token()
1839 	} else if (vf_token) {  in vfio_pci_validate_vf_token()
1853 	bool vf_token = false;  in vfio_pci_match()  local
1872 			if (!vf_token && !strncmp(buf, VF_TOKEN_ARG,  in vfio_pci_match()
1883 				vf_token = true;  in vfio_pci_match()
1892 	ret = vfio_pci_validate_vf_token(vdev, vf_token, &uuid);  in vfio_pci_match()
1950 	vdev->vf_token = kzalloc(sizeof(*vdev->vf_token), GFP_KERNEL);  in vfio_pci_vf_init()
1951 	if (!vdev->vf_token)  in vfio_pci_vf_init()
1954 	mutex_init(&vdev->vf_token->lock);  in vfio_pci_vf_init()
1955 	uuid_gen(&vdev->vf_token->uuid);  in vfio_pci_vf_init()
1960 		kfree(vdev->vf_token);  in vfio_pci_vf_init()
1968 	if (!vdev->vf_token)  in vfio_pci_vf_uninit()
1972 	WARN_ON(vdev->vf_token->users);  in vfio_pci_vf_uninit()
1973 	mutex_destroy(&vdev->vf_token->lock);  in vfio_pci_vf_uninit()
1974 	kfree(vdev->vf_token);  in vfio_pci_vf_uninit()