2 * Copyright (c) 2018 VMware, Inc.
4 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)
9 /* Event code for the vmci guest driver. */
11 #ifndef _VMCI_EVENT_H_
12 #define _VMCI_EVENT_H_
14 #include "vmci_call_defs.h"
15 #include "vmci_defs.h"
17 int vmci_event_init(void);
18 void vmci_event_exit(void);
19 void vmci_event_sync(void);
20 int vmci_event_dispatch(struct vmci_datagram *msg);
21 bool vmci_event_check_host_capabilities(void);
23 #endif /* !_VMCI_EVENT_H_ */