prod_q            425 drivers/misc/vmw_vmci/vmci_queue_pair.c static int qp_alloc_ppn_set(void *prod_q,
prod_q            432 drivers/misc/vmw_vmci/vmci_queue_pair.c 	struct vmci_queue *produce_q = prod_q;