1 /*- 2 * Copyright (c) 2018 VMware, Inc. 3 * 4 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0) 5 * 6 * $FreeBSD$ 7 */ 8 9 /* Event code for the vmci guest driver. */ 10 11 #ifndef _VMCI_EVENT_H_ 12 #define _VMCI_EVENT_H_ 13 14 #include "vmci_call_defs.h" 15 #include "vmci_defs.h" 16 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); 22 23 #endif /* !_VMCI_EVENT_H_ */ 24