1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * VMware VMCI Driver
4  *
5  * Copyright (C) 2012 VMware, Inc. All rights reserved.
6  */
7 
8 #ifndef __VMCI_EVENT_H__
9 #define __VMCI_EVENT_H__
10 
11 #include <linux/vmw_vmci_api.h>
12 
13 int vmci_event_init(void);
14 void vmci_event_exit(void);
15 int vmci_event_dispatch(struct vmci_datagram *msg);
16 
17 #endif /*__VMCI_EVENT_H__ */
18