Symbol: vmci_resource_get_id
sys/dev/vmware/vmci/vmci_datagram.c
152
resource_id = vmci_resource_get_id(context_id);
sys/dev/vmware/vmci/vmci_doorbell.c
521
vmci_id resource_id = vmci_resource_get_id(context_id);
sys/dev/vmware/vmci/vmci_resource.h
42
vmci_id vmci_resource_get_id(vmci_id context_id);