consume_page_file   67 drivers/misc/vmw_vmci/vmci_host.c 	u64 consume_page_file;	  /* User VA. */
consume_page_file   81 drivers/misc/vmw_vmci/vmci_queue_pair.h 	u64 consume_page_file;	  /* User VA. */