produce_page_file_size   68 drivers/misc/vmw_vmci/vmci_host.c 	u64 produce_page_file_size;  /* Size of the file name array. */
produce_page_file_size   82 drivers/misc/vmw_vmci/vmci_queue_pair.h 	u64 produce_page_file_size;  /* Size of the file name array. */