ppn_va            480 drivers/misc/vmw_vmci/vmci_host.c 		page_store.pages = alloc_info.ppn_va;
ppn_va             35 drivers/misc/vmw_vmci/vmci_queue_pair.h 	u64 ppn_va;	/* Start VA of queue pair PPNs. */