root/drivers/misc/vmw_vmci/vmci_driver.h

INCLUDED FROM

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