Symbol: vmci_ctx_dbell_destroy
drivers/misc/vmw_vmci/vmci_context.h
154
int vmci_ctx_dbell_destroy(u32 context_id, struct vmci_handle handle);
drivers/misc/vmw_vmci/vmci_host.c
846
info.result = vmci_ctx_dbell_destroy(cid, info.handle);