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 Doorbell API. */
10
11 #ifndef _VMCI_DOORBELL_H_
12 #define _VMCI_DOORBELL_H_
13
14 #include "vmci_defs.h"
15
16 int vmci_doorbell_init(void);
17 void vmci_doorbell_exit(void);
18 void vmci_doorbell_hibernate(bool enter_hibernate);
19 void vmci_doorbell_sync(void);
20
21 int vmci_doorbell_host_context_notify(vmci_id src_CID,
22 struct vmci_handle handle);
23 int vmci_doorbell_get_priv_flags(struct vmci_handle handle,
24 vmci_privilege_flags *priv_flags);
25
26 bool vmci_register_notification_bitmap(PPN bitmap_PPN);
27 void vmci_scan_notification_bitmap(uint8_t *bitmap);
28
29 #endif /* !_VMCI_DOORBELL_H_ */
Cache object: 8416d87e6f735f7c904191b790764246
|