LXR linux/drivers/misc/vmw_vmci/vmci

   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
  17enum 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. */
  25struct 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 */
  35extern struct pci_dev *vmci_pdev;
  36
  37u32 vmci_get_context_id(void);
  38int vmci_send_datagram(struct vmci_datagram *dg);
  39
  40int vmci_host_init(void);
  41void vmci_host_exit(void);
  42bool vmci_host_code_active(void);
  43
  44int vmci_guest_init(void);
  45void vmci_guest_exit(void);
  46bool vmci_guest_code_active(void);
  47u32 vmci_get_vm_context_id(void);
  48
  49bool vmci_use_ppn64(void);
  50
  51#endif /* _VMCI_DRIVER_H_ */
  52