Symbol: vmci_release_lock
sys/dev/vmware/vmci/vmci_kernel_if.h
46
void vmci_release_lock(vmci_lock *lock);
sys/dev/vmware/vmci/vmci_resource.c
135
vmci_release_lock(&resource_id_lock);