VMCI_VERSION_NOTIFY  803 drivers/misc/vmw_vmci/vmci_host.c 	if (vmci_host_dev->user_version < VMCI_VERSION_NOTIFY) {
VMCI_VERSION_NOTIFY  862 drivers/misc/vmw_vmci/vmci_host.c 	if (vmci_host_dev->user_version < VMCI_VERSION_NOTIFY) {