1 /*- 2 * Copyright (c) 2018 VMware, Inc. 3 * 4 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0) 5 */ 6 7 /* Internal functions in the VMCI Simple Datagram API */ 8 9 #ifndef _VMCI_DATAGRAM_H_ 10 #define _VMCI_DATAGRAM_H_ 11 12 #include "vmci_call_defs.h" 13 14 /* Datagram API for non-public use. */ 15 int vmci_datagram_dispatch(vmci_id context_id, struct vmci_datagram *dg); 16 int vmci_datagram_invoke_guest_handler(struct vmci_datagram *dg); 17 int vmci_datagram_get_priv_flags(struct vmci_handle handle, 18 vmci_privilege_flags *priv_flags); 19 20 /* Misc. */ 21 void vmci_datagram_sync(void); 22 bool vmci_datagram_check_host_capabilities(void); 23 24 #endif /* !_VMCI_DATAGRAM_H_ */ 25