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_ */
Cache object: e89854ab481ab4572b9cbcb369d71987
|