2 * Copyright (c) 2018 VMware, Inc.
4 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)
9 /* Kernel API (v2) exported from the VMCI guest driver. */
11 #ifndef _VMCI_KERNEL_API_2_H_
12 #define _VMCI_KERNEL_API_2_H_
14 #include "vmci_kernel_api_1.h"
16 /* Define version 2. */
18 #undef VMCI_KERNEL_API_VERSION
19 #define VMCI_KERNEL_API_VERSION_2 2
20 #define VMCI_KERNEL_API_VERSION VMCI_KERNEL_API_VERSION_2
22 /* VMCI Doorbell API. */
23 #define VMCI_FLAG_DELAYED_CB 0x01
25 typedef void (*vmci_callback)(void *client_data);
27 int vmci_doorbell_create(struct vmci_handle *handle, uint32_t flags,
28 vmci_privilege_flags priv_flags, vmci_callback notify_cb,
30 int vmci_doorbell_destroy(struct vmci_handle handle);
31 int vmci_doorbell_notify(struct vmci_handle handle,
32 vmci_privilege_flags priv_flags);
34 #endif /* !_VMCI_KERNEL_API_2_H_ */