2018-03-24 20:57:00 -04:00
|
|
|
/*-
|
2018-04-07 21:32:56 -04:00
|
|
|
* Copyright (c) 2018 VMware, Inc.
|
2018-03-24 20:57:00 -04:00
|
|
|
*
|
2018-03-27 02:33:00 -04:00
|
|
|
* SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)
|
2018-03-24 20:57:00 -04:00
|
|
|
*
|
|
|
|
|
* $FreeBSD$
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
/* Kernel API (v2) exported from the VMCI guest driver. */
|
|
|
|
|
|
|
|
|
|
#ifndef _VMCI_KERNEL_API_2_H_
|
|
|
|
|
#define _VMCI_KERNEL_API_2_H_
|
|
|
|
|
|
|
|
|
|
#include "vmci_kernel_api_1.h"
|
|
|
|
|
|
|
|
|
|
/* Define version 2. */
|
|
|
|
|
|
|
|
|
|
#undef VMCI_KERNEL_API_VERSION
|
|
|
|
|
#define VMCI_KERNEL_API_VERSION_2 2
|
|
|
|
|
#define VMCI_KERNEL_API_VERSION VMCI_KERNEL_API_VERSION_2
|
|
|
|
|
|
|
|
|
|
/* VMCI Doorbell API. */
|
|
|
|
|
#define VMCI_FLAG_DELAYED_CB 0x01
|
|
|
|
|
|
|
|
|
|
typedef void (*vmci_callback)(void *client_data);
|
|
|
|
|
|
|
|
|
|
int vmci_doorbell_create(struct vmci_handle *handle, uint32_t flags,
|
|
|
|
|
vmci_privilege_flags priv_flags, vmci_callback notify_cb,
|
|
|
|
|
void *client_data);
|
|
|
|
|
int vmci_doorbell_destroy(struct vmci_handle handle);
|
|
|
|
|
int vmci_doorbell_notify(struct vmci_handle handle,
|
|
|
|
|
vmci_privilege_flags priv_flags);
|
|
|
|
|
|
|
|
|
|
#endif /* !_VMCI_KERNEL_API_2_H_ */
|
