vmci_dbell_host_context_notify 1086 drivers/misc/vmw_vmci/vmci_context.c 		result = vmci_dbell_host_context_notify(src_cid, handle);
vmci_dbell_host_context_notify   37 drivers/misc/vmw_vmci/vmci_doorbell.h int vmci_dbell_host_context_notify(u32 src_cid, struct vmci_handle handle);