Symbol: qp_add_pointer
sys/dev/vmware/vmci/vmci_defs.h
524
qp_add_pointer(&q_header->producer_tail, add, queue_size);
sys/dev/vmware/vmci/vmci_defs.h
549
qp_add_pointer(&q_header->consumer_head, add, queue_size);