consume_page_file_size   69 drivers/misc/vmw_vmci/vmci_host.c 	u64 consume_page_file_size;  /* Size of the file name array. */
consume_page_file_size   83 drivers/misc/vmw_vmci/vmci_queue_pair.h 	u64 consume_page_file_size;  /* Size of the file name array. */