forked from ~ljy/RK356X_SDK_RELEASE

hc
2024-05-10 ee930fffee469d076998274a2ca55e13dc1efb67
kernel/drivers/misc/vmw_vmci/vmci_driver.h
....@@ -1,16 +1,8 @@
1
+/* SPDX-License-Identifier: GPL-2.0-only */
12 /*
23 * VMware VMCI Driver
34 *
45 * 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.
146 */
157
168 #ifndef _VMCI_DRIVER_H_
....@@ -44,14 +36,18 @@
4436
4537 u32 vmci_get_context_id(void);
4638 int vmci_send_datagram(struct vmci_datagram *dg);
39
+void vmci_call_vsock_callback(bool is_host);
4740
4841 int vmci_host_init(void);
4942 void vmci_host_exit(void);
5043 bool vmci_host_code_active(void);
44
+int vmci_host_users(void);
5145
5246 int vmci_guest_init(void);
5347 void vmci_guest_exit(void);
5448 bool vmci_guest_code_active(void);
5549 u32 vmci_get_vm_context_id(void);
5650
51
+bool vmci_use_ppn64(void);
52
+
5753 #endif /* _VMCI_DRIVER_H_ */