Symbol: vmci_resource_do_remove
sys/dev/vmware/vmci/vmci_resource.c
20
static void vmci_resource_do_remove(struct vmci_resource *resource);
sys/dev/vmware/vmci/vmci_resource.c
341
vmci_resource_do_remove(resource);