131 	unsigned int open_count = 0;  in vfio_device_set_open_count()  local
136 		open_count += cur->open_count;  in vfio_device_set_open_count()
137 	return open_count;  in vfio_device_set_open_count()
747 	return !WARN_ON_ONCE(!READ_ONCE(device->open_count));  in vfio_assert_device_open()
767 	device->open_count++;  in vfio_device_open()
768 	if (device->open_count == 1) {  in vfio_device_open()
817 	if (device->open_count == 1) {  in vfio_device_open()
825 	device->open_count--;  in vfio_device_open()
826 	if (device->open_count == 0 && device->kvm)  in vfio_device_open()
1034 	if (device->open_count == 1) {  in vfio_device_fops_release()
1041 	device->open_count--;  in vfio_device_fops_release()
1042 	if (device->open_count == 0)  in vfio_device_fops_release()