Symbol: vmci_mutex_init
sys/dev/vmware/vmci/vmci_kernel_if.h
70
int vmci_mutex_init(vmci_mutex *mutex, char *name);
sys/dev/vmware/vmci/vmci_queue_pair.c
156
ret = vmci_mutex_init(&qp_list->mutex, "VMCI QP List lock");