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