Lines Matching refs:produce_ppns
610 vmci_ppn_list produce_ppns; in vmci_alloc_ppn_set() local
620 produce_ppns = in vmci_alloc_ppn_set()
621 vmci_alloc_kernel_mem(num_produce_pages * sizeof(*produce_ppns), in vmci_alloc_ppn_set()
623 if (!produce_ppns) in vmci_alloc_ppn_set()
630 vmci_free_kernel_mem(produce_ppns, in vmci_alloc_ppn_set()
631 num_produce_pages * sizeof(*produce_ppns)); in vmci_alloc_ppn_set()
638 produce_ppns[i] = in vmci_alloc_ppn_set()
646 sizeof(*produce_ppns) && pfn != produce_ppns[i]) in vmci_alloc_ppn_set()
666 ppn_set->produce_ppns = produce_ppns; in vmci_alloc_ppn_set()
672 vmci_free_kernel_mem(produce_ppns, num_produce_pages * in vmci_alloc_ppn_set()
673 sizeof(*produce_ppns)); in vmci_alloc_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()
705 sizeof(*ppn_set->produce_ppns)); in vmci_free_ppn_set()
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()
738 sizeof(*ppn_set->produce_ppns), ppn_set->consume_ppns, in vmci_populate_ppn_list()