163a93856SMark Peek /*- 2*3eeb7511SMark Peek * Copyright (c) 2018 VMware, Inc. 363a93856SMark Peek * 48c302b2eSMark Peek * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0) 563a93856SMark Peek */ 663a93856SMark Peek 763a93856SMark Peek /* Event code for the vmci guest driver. */ 863a93856SMark Peek 963a93856SMark Peek #ifndef _VMCI_EVENT_H_ 1063a93856SMark Peek #define _VMCI_EVENT_H_ 1163a93856SMark Peek 1263a93856SMark Peek #include "vmci_call_defs.h" 1363a93856SMark Peek #include "vmci_defs.h" 1463a93856SMark Peek 1563a93856SMark Peek int vmci_event_init(void); 1663a93856SMark Peek void vmci_event_exit(void); 1763a93856SMark Peek void vmci_event_sync(void); 1863a93856SMark Peek int vmci_event_dispatch(struct vmci_datagram *msg); 1963a93856SMark Peek bool vmci_event_check_host_capabilities(void); 2063a93856SMark Peek 2163a93856SMark Peek #endif /* !_VMCI_EVENT_H_ */ 22