Symbol: vmci_grab_lock
sys/dev/vmware/vmci/vmci_kernel_if.h
45
void vmci_grab_lock(vmci_lock *lock);
sys/dev/vmware/vmci/vmci_resource.c
127
vmci_grab_lock(&resource_id_lock);