sys/dev/vmware/vmci/vmci_datagram.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 /* Internal functions in the VMCI Simple Datagram API */
  10
  11 #ifndef _VMCI_DATAGRAM_H_
  12 #define _VMCI_DATAGRAM_H_
  13
  14 #include "vmci_call_defs.h"
  15
  16 /* Datagram API for non-public use. */
  17 int     vmci_datagram_dispatch(vmci_id context_id, struct vmci_datagram *dg);
  18 int     vmci_datagram_invoke_guest_handler(struct vmci_datagram *dg);
  19 int     vmci_datagram_get_priv_flags(struct vmci_handle handle,
  20             vmci_privilege_flags *priv_flags);
  21
  22 /* Misc. */
  23 void    vmci_datagram_sync(void);
  24 bool    vmci_datagram_check_host_capabilities(void);
  25
  26 #endif /* !_VMCI_DATAGRAM_H_ */