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