Lines Matching defs:consume_ppns

609 	vmci_ppn_list consume_ppns;
626 	consume_ppns =
627 	    vmci_alloc_kernel_mem(num_consume_pages * sizeof(*consume_ppns),
629 	if (!consume_ppns) {
652 		consume_ppns[i] =
660 		    sizeof(*consume_ppns) && pfn != consume_ppns[i])
667 	ppn_set->consume_ppns = consume_ppns;
674 	vmci_free_kernel_mem(consume_ppns, num_consume_pages *
675 	    sizeof(*consume_ppns));
702 		ASSERT(ppn_set->produce_ppns && ppn_set->consume_ppns);
706 		vmci_free_kernel_mem(ppn_set->consume_ppns,
708 		    sizeof(*ppn_set->consume_ppns));
738 	    sizeof(*ppn_set->produce_ppns), ppn_set->consume_ppns,
739 	    ppn_set->num_consume_pages * sizeof(*ppn_set->consume_ppns));