vmci_resource_hash   42 drivers/misc/vmw_vmci/vmci_resource.c 	unsigned int idx = vmci_resource_hash(handle);
vmci_resource_hash  127 drivers/misc/vmw_vmci/vmci_resource.c 	idx = vmci_resource_hash(resource->handle);
vmci_resource_hash  140 drivers/misc/vmw_vmci/vmci_resource.c 	unsigned int idx = vmci_resource_hash(handle);