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