Symbol: vmci_hashtable_destroy
sys/dev/vmware/vmci/vmci_hashtable.h
29
void vmci_hashtable_destroy(struct vmci_hashtable *table);
sys/dev/vmware/vmci/vmci_resource.c
87
vmci_hashtable_destroy(resource_table);