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