vmci_free_kernel_mem
vmci_free_kernel_mem(delayed_work_info,
vmci_free_kernel_mem(entry, sizeof(*entry));
vmci_free_kernel_mem(entry, sizeof(*entry));
vmci_free_kernel_mem(entry, sizeof(*entry));
vmci_free_kernel_mem(dg_info, sizeof(*dg_info) +
vmci_free_kernel_mem(dg_info, sizeof(*dg_info) +
vmci_free_kernel_mem(entry, sizeof(*entry));
vmci_free_kernel_mem(entry, sizeof(*entry));
vmci_free_kernel_mem(check_msg, msg_size);
vmci_free_kernel_mem(iter, sizeof(*iter));
vmci_free_kernel_mem(event_info, sizeof(*event_info));
vmci_free_kernel_mem(
vmci_free_kernel_mem(iter, sizeof(*iter));
vmci_free_kernel_mem(s, sizeof(*s));
vmci_free_kernel_mem(s, sizeof(*s));
vmci_free_kernel_mem(table, sizeof(*table));
vmci_free_kernel_mem(table, sizeof(*table));
vmci_free_kernel_mem(table->entries, sizeof(*table->entries) * size);
vmci_free_kernel_mem(table, sizeof(*table));
vmci_free_kernel_mem(table->entries, sizeof(*table->entries) *
vmci_free_kernel_mem(produce_ppns,
vmci_free_kernel_mem(produce_ppns, num_produce_pages *
vmci_free_kernel_mem(consume_ppns, num_consume_pages *
vmci_free_kernel_mem(ppn_set->produce_ppns,
vmci_free_kernel_mem(ppn_set->consume_ppns,
void vmci_free_kernel_mem(void *ptr, size_t size);
vmci_free_kernel_mem(my_qpair, sizeof(*my_qpair));
vmci_free_kernel_mem(old_qpair, sizeof(*old_qpair));
vmci_free_kernel_mem(entry, sizeof(*entry));
vmci_free_kernel_mem(alloc_msg, msg_size);