Symbol: vmci_resource_init
sys/dev/vmware/vmci/vmci_driver.c
423
result = vmci_resource_init();
sys/dev/vmware/vmci/vmci_resource.h
38
int vmci_resource_init(void);