sys/dev/vmware/vmci/vmci_event.h

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