vmci_ctx_rcv_notifications_get  160 drivers/misc/vmw_vmci/vmci_context.h int vmci_ctx_rcv_notifications_get(u32 context_id, struct vmci_handle_arr
vmci_ctx_rcv_notifications_get  877 drivers/misc/vmw_vmci/vmci_host.c 	info.result = vmci_ctx_rcv_notifications_get(cid,