drivers/misc/vmw_vmci/vmci_driver.h

   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_ */