Symbol: vmci_free_ppn_set
sys/dev/vmware/vmci/vmci_kernel_if.h
91
void vmci_free_ppn_set(struct ppn_set *ppn_set);
sys/dev/vmware/vmci/vmci_queue_pair.c
499
vmci_free_ppn_set(&entry->ppn_set);