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