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