1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * VMware VMCI Driver
4  *
5  * Copyright (C) 2012 VMware, Inc. All rights reserved.
6  */
7 
8 #ifndef _VMCI_DRIVER_H_
9 #define _VMCI_DRIVER_H_
10 
11 #include <linux/vmw_vmci_defs.h>
12 #include <linux/wait.h>
13 
14 #include "vmci_queue_pair.h"
15 #include "vmci_context.h"
16 
17 enum vmci_obj_type {
18 	VMCIOBJ_VMX_VM = 10,
19 	VMCIOBJ_CONTEXT,
20 	VMCIOBJ_SOCKET,
21 	VMCIOBJ_NOT_SET,
22 };
23 
24 /* For storing VMCI structures in file handles. */
25 struct vmci_obj {
26 	void *ptr;
27 	enum vmci_obj_type type;
28 };
29 
30 /*
31  * Needed by other components of this module.  It's okay to have one global
32  * instance of this because there can only ever be one VMCI device.  Our
33  * virtual hardware enforces this.
34  */
35 extern struct pci_dev *vmci_pdev;
36 
37 u32 vmci_get_context_id(void);
38 int vmci_send_datagram(struct vmci_datagram *dg);
39 
40 int vmci_host_init(void);
41 void vmci_host_exit(void);
42 bool vmci_host_code_active(void);
43 
44 int vmci_guest_init(void);
45 void vmci_guest_exit(void);
46 bool vmci_guest_code_active(void);
47 u32 vmci_get_vm_context_id(void);
48 
49 bool vmci_use_ppn64(void);
50 
51 #endif /* _VMCI_DRIVER_H_ */
52