Symbol: vmci_queue_header_get_pointers
sys/dev/vmware/vmci/vmci_qpair.c
273
vmci_queue_header_get_pointers(produce_q_header, consume_q_header,
sys/dev/vmware/vmci/vmci_qpair.c
313
vmci_queue_header_get_pointers(consume_q_header, produce_q_header,