consume_va        595 drivers/misc/vmw_vmci/vmci_host.c 						page_file_info.consume_va,
consume_va         87 drivers/misc/vmw_vmci/vmci_queue_pair.h 	u64 consume_va;	/* User VA of the mapped file. */