vmci_alloc_kernel_mem
delayed_work_info = vmci_alloc_kernel_mem(sizeof(*delayed_work_info),
entry = vmci_alloc_kernel_mem(sizeof(*entry), VMCI_MEMORY_NORMAL);
dg_info = vmci_alloc_kernel_mem(sizeof(*dg_info) +
entry = vmci_alloc_kernel_mem(sizeof(*entry), VMCI_MEMORY_NORMAL);
check_msg = vmci_alloc_kernel_mem(msg_size, VMCI_MEMORY_NORMAL);
vmci_alloc_kernel_mem(sizeof(*event_info),
if ((event_ref = vmci_alloc_kernel_mem(
s = vmci_alloc_kernel_mem(sizeof(*s), VMCI_MEMORY_NORMAL);
table = vmci_alloc_kernel_mem(sizeof(*table),
table->entries = vmci_alloc_kernel_mem(sizeof(*table->entries) * size,
vmci_alloc_kernel_mem(num_produce_pages * sizeof(*produce_ppns),
vmci_alloc_kernel_mem(num_consume_pages * sizeof(*consume_ppns),
void *vmci_alloc_kernel_mem(size_t size, int flags);
my_qpair = vmci_alloc_kernel_mem(sizeof(*my_qpair), VMCI_MEMORY_NORMAL);
entry = vmci_alloc_kernel_mem(sizeof(*entry), VMCI_MEMORY_NORMAL);
alloc_msg = vmci_alloc_kernel_mem(msg_size, VMCI_MEMORY_NORMAL);