vmci_free_queue

540

vmci_free_queue(queue, i * PAGE_SIZE);

77

void vmci_free_queue(void *q, uint64_t size);

500

vmci_free_queue(entry->produce_q, entry->qp.produce_size);

501

vmci_free_queue(entry->consume_q, entry->qp.consume_size);

745

vmci_free_queue(my_produce_q, produce_size);

747

vmci_free_queue(my_consume_q, consume_size);