Lines Matching defs:produce_ppns

610 	vmci_ppn_list produce_ppns;
620 	produce_ppns =
621 	    vmci_alloc_kernel_mem(num_produce_pages * sizeof(*produce_ppns),
623 	if (!produce_ppns)
630 		vmci_free_kernel_mem(produce_ppns,
631 		    num_produce_pages * sizeof(*produce_ppns));
638 		produce_ppns[i] =
646 		    sizeof(*produce_ppns) && pfn != produce_ppns[i])
666 	ppn_set->produce_ppns = produce_ppns;
672 	vmci_free_kernel_mem(produce_ppns, num_produce_pages *
673 	    sizeof(*produce_ppns));
702 		ASSERT(ppn_set->produce_ppns && ppn_set->consume_ppns);
703 		vmci_free_kernel_mem(ppn_set->produce_ppns,
705 		    sizeof(*ppn_set->produce_ppns));
735 	memcpy(call_buf, ppn_set->produce_ppns,
736 	    ppn_set->num_produce_pages * sizeof(*ppn_set->produce_ppns));
738 	    sizeof(*ppn_set->produce_ppns), ppn_set->consume_ppns,