Searched refs:produce_ppns (Results 1 – 2 of 2) sorted by relevance
610 vmci_ppn_list produce_ppns; in vmci_alloc_ppn_set() local620 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()[all …]
83 vmci_ppn_list produce_ppns; member