Symbol: vmci_mutex_destroy
sys/dev/vmware/vmci/vmci_kernel_if.h
71
void vmci_mutex_destroy(vmci_mutex *mutex);
sys/dev/vmware/vmci/vmci_queue_pair.c
180
vmci_mutex_destroy(&qp_list->mutex);