Symbol: vmci_mutex_initialized
sys/dev/vmware/vmci/vmci_kernel_if.h
74
int vmci_mutex_initialized(vmci_mutex *mutex);
sys/dev/vmware/vmci/vmci_queue_pair.c
339
if (!vmci_mutex_initialized(&qp_guest_endpoints.mutex))