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