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);