.. | .. |
---|
| 1 | +/* SPDX-License-Identifier: GPL-2.0-only */ |
---|
1 | 2 | /* |
---|
2 | 3 | * VMware VMCI Driver |
---|
3 | 4 | * |
---|
4 | 5 | * Copyright (C) 2012 VMware, Inc. All rights reserved. |
---|
5 | | - * |
---|
6 | | - * This program is free software; you can redistribute it and/or modify it |
---|
7 | | - * under the terms of the GNU General Public License as published by the |
---|
8 | | - * Free Software Foundation version 2 and no later version. |
---|
9 | | - * |
---|
10 | | - * This program is distributed in the hope that it will be useful, but |
---|
11 | | - * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY |
---|
12 | | - * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
---|
13 | | - * for more details. |
---|
14 | 6 | */ |
---|
15 | 7 | |
---|
16 | 8 | #ifndef _VMCI_DRIVER_H_ |
---|
.. | .. |
---|
44 | 36 | |
---|
45 | 37 | u32 vmci_get_context_id(void); |
---|
46 | 38 | int vmci_send_datagram(struct vmci_datagram *dg); |
---|
| 39 | +void vmci_call_vsock_callback(bool is_host); |
---|
47 | 40 | |
---|
48 | 41 | int vmci_host_init(void); |
---|
49 | 42 | void vmci_host_exit(void); |
---|
50 | 43 | bool vmci_host_code_active(void); |
---|
| 44 | +int vmci_host_users(void); |
---|
51 | 45 | |
---|
52 | 46 | int vmci_guest_init(void); |
---|
53 | 47 | void vmci_guest_exit(void); |
---|
54 | 48 | bool vmci_guest_code_active(void); |
---|
55 | 49 | u32 vmci_get_vm_context_id(void); |
---|
56 | 50 | |
---|
| 51 | +bool vmci_use_ppn64(void); |
---|
| 52 | + |
---|
57 | 53 | #endif /* _VMCI_DRIVER_H_ */ |
---|