607     uint64_t num_consume_pages, struct ppn_set *ppn_set)  in vmci_alloc_ppn_set()  argument
616 	    !num_consume_pages || !ppn_set)  in vmci_alloc_ppn_set()
619 	if (ppn_set->initialized)  in vmci_alloc_ppn_set()
666 	ppn_set->num_produce_pages = num_produce_pages;  in vmci_alloc_ppn_set()
667 	ppn_set->num_consume_pages = num_consume_pages;  in vmci_alloc_ppn_set()
668 	ppn_set->produce_ppns = produce_ppns;  in vmci_alloc_ppn_set()
669 	ppn_set->consume_ppns = consume_ppns;  in vmci_alloc_ppn_set()
670 	ppn_set->initialized = true;  in vmci_alloc_ppn_set()
698 vmci_free_ppn_set(struct ppn_set *ppn_set)  in vmci_free_ppn_set()  argument
701 	ASSERT(ppn_set);  in vmci_free_ppn_set()
702 	if (ppn_set->initialized) {  in vmci_free_ppn_set()
704 		ASSERT(ppn_set->produce_ppns && ppn_set->consume_ppns);  in vmci_free_ppn_set()
705 		vmci_free_kernel_mem(ppn_set->produce_ppns,  in vmci_free_ppn_set()
706 		    ppn_set->num_produce_pages *  in vmci_free_ppn_set()
707 		    sizeof(*ppn_set->produce_ppns));  in vmci_free_ppn_set()
708 		vmci_free_kernel_mem(ppn_set->consume_ppns,  in vmci_free_ppn_set()
709 		    ppn_set->num_consume_pages *  in vmci_free_ppn_set()
710 		    sizeof(*ppn_set->consume_ppns));  in vmci_free_ppn_set()
712 	memset(ppn_set, 0, sizeof(*ppn_set));  in vmci_free_ppn_set()
733 vmci_populate_ppn_list(uint8_t *call_buf, const struct ppn_set *ppn_set)  in vmci_populate_ppn_list()  argument
736 	ASSERT(call_buf && ppn_set && ppn_set->initialized);  in vmci_populate_ppn_list()
737 	memcpy(call_buf, ppn_set->produce_ppns,  in vmci_populate_ppn_list()
738 	    ppn_set->num_produce_pages * sizeof(*ppn_set->produce_ppns));  in vmci_populate_ppn_list()
739 	memcpy(call_buf + ppn_set->num_produce_pages *  in vmci_populate_ppn_list()
740 	    sizeof(*ppn_set->produce_ppns), ppn_set->consume_ppns,  in vmci_populate_ppn_list()
741 	    ppn_set->num_consume_pages * sizeof(*ppn_set->consume_ppns));  in vmci_populate_ppn_list()