2018-03-25 00:57:00 +00:00
|
|
|
/*-
|
2018-04-08 01:32:56 +00:00
|
|
|
* Copyright (c) 2018 VMware, Inc.
|
2018-03-25 00:57:00 +00:00
|
|
|
*
|
2018-03-27 06:33:00 +00:00
|
|
|
* SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)
|
2018-03-25 00:57:00 +00:00
|
|
|
*
|
|
|
|
* $FreeBSD$
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* VMCI QueuePair API definition. */
|
|
|
|
|
|
|
|
#ifndef _VMCI_QUEUE_PAIR_H_
|
|
|
|
#define _VMCI_QUEUE_PAIR_H_
|
|
|
|
|
|
|
|
#include "vmci_kernel_if.h"
|
|
|
|
#include "vmci_queue.h"
|
|
|
|
|
|
|
|
int vmci_qp_guest_endpoints_init(void);
|
|
|
|
void vmci_qp_guest_endpoints_exit(void);
|
|
|
|
void vmci_qp_guest_endpoints_sync(void);
|
|
|
|
void vmci_qp_guest_endpoints_convert(bool to_local, bool device_reset);
|
|
|
|
|
|
|
|
int vmci_queue_pair_alloc(struct vmci_handle *handle,
|
|
|
|
struct vmci_queue **produce_q, uint64_t produce_size,
|
|
|
|
struct vmci_queue **consume_q, uint64_t consume_size,
|
|
|
|
vmci_id peer, uint32_t flags, vmci_privilege_flags priv_flags);
|
|
|
|
int vmci_queue_pair_detach(struct vmci_handle handle);
|
|
|
|
|
|
|
|
#endif /* !_VMCI_QUEUE_PAIR_H_ */
|