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