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