vmci_free_queue
vmci_free_queue(queue, i * PAGE_SIZE);
void vmci_free_queue(void *q, uint64_t size);
vmci_free_queue(entry->produce_q, entry->qp.produce_size);
vmci_free_queue(entry->consume_q, entry->qp.consume_size);
vmci_free_queue(my_produce_q, produce_size);
vmci_free_queue(my_consume_q, consume_size);