vmci_ctx_rcv_notifications_release 163 drivers/misc/vmw_vmci/vmci_context.h void vmci_ctx_rcv_notifications_release(u32 context_id, struct vmci_handle_arr vmci_ctx_rcv_notifications_release 895 drivers/misc/vmw_vmci/vmci_host.c vmci_ctx_rcv_notifications_release(cid,