Searched refs:num_produce_pages (Results 1 – 3 of 3) sorted by relevance
/freebsd/sys/dev/vmware/vmci/ |
H A D | vmci_kernel_if.c | 604 vmci_alloc_ppn_set(void *prod_q, uint64_t num_produce_pages, void *cons_q, in vmci_alloc_ppn_set() argument 613 if (!produce_q || !num_produce_pages || !consume_q || in vmci_alloc_ppn_set() 621 vmci_alloc_kernel_mem(num_produce_pages * sizeof(*produce_ppns), in vmci_alloc_ppn_set() 631 num_produce_pages * sizeof(*produce_ppns)); in vmci_alloc_ppn_set() 635 for (i = 0; i < num_produce_pages; i++) { in vmci_alloc_ppn_set() 664 ppn_set->num_produce_pages = num_produce_pages; in vmci_alloc_ppn_set() 672 vmci_free_kernel_mem(produce_ppns, num_produce_pages * in vmci_alloc_ppn_set() 704 ppn_set->num_produce_pages * in vmci_free_ppn_set() 736 ppn_set->num_produce_pages * sizeo in vmci_populate_ppn_list() [all...] |
H A D | vmci_kernel_if.h | 81 uint64_t num_produce_pages; member 88 int vmci_alloc_ppn_set(void *produce_q, uint64_t num_produce_pages,
|
H A D | vmci_queue_pair.c | 585 const uint64_t num_produce_pages = CEILING(produce_size, PAGE_SIZE) + 1; in vmci_queue_pair_alloc_guest_work() local 671 result = vmci_alloc_ppn_set(my_produce_q, num_produce_pages, in vmci_queue_pair_alloc_guest_work()
|