Symbol: vmci_alloc_ppn_set
sys/dev/vmware/vmci/vmci_kernel_if.h
88
int vmci_alloc_ppn_set(void *produce_q, uint64_t num_produce_pages,
sys/dev/vmware/vmci/vmci_queue_pair.c
671
result = vmci_alloc_ppn_set(my_produce_q, num_produce_pages,