Symbol: vmci_use_ppn64
drivers/misc/vmw_vmci/vmci_doorbell.c
319
if (vmci_use_ppn64())
drivers/misc/vmw_vmci/vmci_driver.h
51
bool vmci_use_ppn64(void);
drivers/misc/vmw_vmci/vmci_queue_pair.c
494
if (vmci_use_ppn64()) {
drivers/misc/vmw_vmci/vmci_queue_pair.c
955
ppn_size = vmci_use_ppn64() ? sizeof(u64) : sizeof(u32);