605     uint64_t num_consume_pages, struct ppn_set *ppn_set)  in vmci_alloc_ppn_set()  argument
614 	    !num_consume_pages || !ppn_set)  in vmci_alloc_ppn_set()
617 	if (ppn_set->initialized)  in vmci_alloc_ppn_set()
664 	ppn_set->num_produce_pages = num_produce_pages;  in vmci_alloc_ppn_set()
665 	ppn_set->num_consume_pages = num_consume_pages;  in vmci_alloc_ppn_set()
666 	ppn_set->produce_ppns = produce_ppns;  in vmci_alloc_ppn_set()
667 	ppn_set->consume_ppns = consume_ppns;  in vmci_alloc_ppn_set()
668 	ppn_set->initialized = true;  in vmci_alloc_ppn_set()
696 vmci_free_ppn_set(struct ppn_set *ppn_set)  in vmci_free_ppn_set()  argument
699 	ASSERT(ppn_set);  in vmci_free_ppn_set()
700 	if (ppn_set->initialized) {  in vmci_free_ppn_set()
702 		ASSERT(ppn_set->produce_ppns && ppn_set->consume_ppns);  in vmci_free_ppn_set()
703 		vmci_free_kernel_mem(ppn_set->produce_ppns,  in vmci_free_ppn_set()
704 		    ppn_set->num_produce_pages *  in vmci_free_ppn_set()
705 		    sizeof(*ppn_set->produce_ppns));  in vmci_free_ppn_set()
706 		vmci_free_kernel_mem(ppn_set->consume_ppns,  in vmci_free_ppn_set()
707 		    ppn_set->num_consume_pages *  in vmci_free_ppn_set()
708 		    sizeof(*ppn_set->consume_ppns));  in vmci_free_ppn_set()
710 	memset(ppn_set, 0, sizeof(*ppn_set));  in vmci_free_ppn_set()
731 vmci_populate_ppn_list(uint8_t *call_buf, const struct ppn_set *ppn_set)  in vmci_populate_ppn_list()  argument
734 	ASSERT(call_buf && ppn_set && ppn_set->initialized);  in vmci_populate_ppn_list()
735 	memcpy(call_buf, ppn_set->produce_ppns,  in vmci_populate_ppn_list()
736 	    ppn_set->num_produce_pages * sizeof(*ppn_set->produce_ppns));  in vmci_populate_ppn_list()
737 	memcpy(call_buf + ppn_set->num_produce_pages *  in vmci_populate_ppn_list()
738 	    sizeof(*ppn_set->produce_ppns), ppn_set->consume_ppns,  in vmci_populate_ppn_list()
739 	    ppn_set->num_consume_pages * sizeof(*ppn_set->consume_ppns));  in vmci_populate_ppn_list()