debug lk

hc

2024-02-20 e636c8d336489bf3eed5878299e6cc045bbad077

 kernel/drivers/misc/vmw_vmci/vmci_driver.h
..
..
@@ -1,16 +1,8 @@
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,14 +36,18 @@
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_ */