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 17int vmci_event_init(void); 18void vmci_event_exit(void); 19void vmci_event_sync(void); 20int vmci_event_dispatch(struct vmci_datagram *msg); 21bool vmci_event_check_host_capabilities(void); 22 23#endif /* !_VMCI_EVENT_H_ */ 24