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