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 | void vmci_call_vsock_callback(bool is_host); |
40 | |
41 | int vmci_host_init(void); |
42 | void vmci_host_exit(void); |
43 | bool vmci_host_code_active(void); |
44 | int vmci_host_users(void); |
45 | |
46 | int vmci_guest_init(void); |
47 | void vmci_guest_exit(void); |
48 | bool vmci_guest_code_active(void); |
49 | u32 vmci_get_vm_context_id(void); |
50 | |
51 | bool vmci_use_ppn64(void); |
52 | |
53 | #endif /* _VMCI_DRIVER_H_ */ |
54 | |