Searched refs:vmci_ppn_list (Results 1 – 2 of 2) sorted by relevance
79 typedef PPN *vmci_ppn_list; typedef83 vmci_ppn_list produce_ppns;84 vmci_ppn_list consume_ppns;
609 vmci_ppn_list consume_ppns; in vmci_alloc_ppn_set() 610 vmci_ppn_list produce_ppns; in vmci_alloc_ppn_set()