vmci_use_ppn64    336 drivers/misc/vmw_vmci/vmci_doorbell.c 	if (vmci_use_ppn64())
vmci_use_ppn64     49 drivers/misc/vmw_vmci/vmci_driver.h bool vmci_use_ppn64(void);
vmci_use_ppn64    492 drivers/misc/vmw_vmci/vmci_queue_pair.c 	if (vmci_use_ppn64()) {
vmci_use_ppn64    947 drivers/misc/vmw_vmci/vmci_queue_pair.c 	ppn_size = vmci_use_ppn64() ? sizeof(u64) : sizeof(u32);