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 |