producer_head 2836 drivers/misc/vmw_vmci/vmci_queue_pair.c u64 *producer_head) producer_head 2850 drivers/misc/vmw_vmci/vmci_queue_pair.c consumer_tail, producer_head); producer_head 2855 drivers/misc/vmw_vmci/vmci_queue_pair.c (producer_head && *producer_head >= qpair->consume_q_size))) producer_head 57 include/linux/vmw_vmci_api.h u64 *producer_head);