561     uint64_t num_consume_pages, struct ppn_set *ppn_set)  in vmci_alloc_ppn_set()  argument
570 	    !num_consume_pages || !ppn_set)  in vmci_alloc_ppn_set()
573 	if (ppn_set->initialized)  in vmci_alloc_ppn_set()
621 	ppn_set->num_produce_pages = num_produce_pages;  in vmci_alloc_ppn_set()
622 	ppn_set->num_consume_pages = num_consume_pages;  in vmci_alloc_ppn_set()
623 	ppn_set->produce_ppns = produce_ppns;  in vmci_alloc_ppn_set()
624 	ppn_set->consume_ppns = consume_ppns;  in vmci_alloc_ppn_set()
625 	ppn_set->initialized = true;  in vmci_alloc_ppn_set()
653 vmci_free_ppn_set(struct ppn_set *ppn_set)  in vmci_free_ppn_set()  argument
656 	ASSERT(ppn_set);  in vmci_free_ppn_set()
657 	if (ppn_set->initialized) {  in vmci_free_ppn_set()
659 		ASSERT(ppn_set->produce_ppns && ppn_set->consume_ppns);  in vmci_free_ppn_set()
660 		vmci_free_kernel_mem(ppn_set->produce_ppns,  in vmci_free_ppn_set()
661 		    ppn_set->num_produce_pages *  in vmci_free_ppn_set()
662 		    sizeof(*ppn_set->produce_ppns));  in vmci_free_ppn_set()
663 		vmci_free_kernel_mem(ppn_set->consume_ppns,  in vmci_free_ppn_set()
664 		    ppn_set->num_consume_pages *  in vmci_free_ppn_set()
665 		    sizeof(*ppn_set->consume_ppns));  in vmci_free_ppn_set()
667 	memset(ppn_set, 0, sizeof(*ppn_set));  in vmci_free_ppn_set()
688 vmci_populate_ppn_list(uint8_t *call_buf, const struct ppn_set *ppn_set)  in vmci_populate_ppn_list()  argument
691 	ASSERT(call_buf && ppn_set && ppn_set->initialized);  in vmci_populate_ppn_list()
692 	memcpy(call_buf, ppn_set->produce_ppns,  in vmci_populate_ppn_list()
693 	    ppn_set->num_produce_pages * sizeof(*ppn_set->produce_ppns));  in vmci_populate_ppn_list()
694 	memcpy(call_buf + ppn_set->num_produce_pages *  in vmci_populate_ppn_list()
695 	    sizeof(*ppn_set->produce_ppns), ppn_set->consume_ppns,  in vmci_populate_ppn_list()
696 	    ppn_set->num_consume_pages * sizeof(*ppn_set->consume_ppns));  in vmci_populate_ppn_list()