misc/vmw_vmci/vmci_event.h

0001 /* SPDX-License-Identifier: GPL-2.0-only */
0002 /*
0003  * VMware VMCI Driver
0004  *
0005  * Copyright (C) 2012 VMware, Inc. All rights reserved.
0006  */
0007
0008 #ifndef __VMCI_EVENT_H__
0009 #define __VMCI_EVENT_H__
0010
0011 #include <linux/vmw_vmci_api.h>
0012
0013 int vmci_event_init(void);
0014 void vmci_event_exit(void);
0015 int vmci_event_dispatch(struct vmci_datagram *msg);
0016
0017 #endif /*__VMCI_EVENT_H__ */