ppns              504 drivers/misc/vmw_vmci/vmci_queue_pair.c 		u32 *ppns = (u32 *) call_buf;
ppns              507 drivers/misc/vmw_vmci/vmci_queue_pair.c 			ppns[i] = (u32) ppn_set->produce_ppns[i];
ppns              509 drivers/misc/vmw_vmci/vmci_queue_pair.c 		ppns = &ppns[ppn_set->num_produce_pages];
ppns              512 drivers/misc/vmw_vmci/vmci_queue_pair.c 			ppns[i] = (u32) ppn_set->consume_ppns[i];