1/*
2 * VMware VMCI Driver
3 *
4 * Copyright (C) 2012 VMware, Inc. All rights reserved.
5 *
6 * This program is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU General Public License as published by the
8 * Free Software Foundation version 2 and no later version.
9 *
10 * This program is distributed in the hope that it will be useful, but
11 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
12 * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
13 * for more details.
14 */
15
16#ifndef _VMCI_DRIVER_H_
17#define _VMCI_DRIVER_H_
18
19#include <linux/vmw_vmci_defs.h>
20#include <linux/wait.h>
21
22#include "vmci_queue_pair.h"
23#include "vmci_context.h"
24
25enum vmci_obj_type {
26	VMCIOBJ_VMX_VM = 10,
27	VMCIOBJ_CONTEXT,
28	VMCIOBJ_SOCKET,
29	VMCIOBJ_NOT_SET,
30};
31
32/* For storing VMCI structures in file handles. */
33struct vmci_obj {
34	void *ptr;
35	enum vmci_obj_type type;
36};
37
38/*
39 * Needed by other components of this module.  It's okay to have one global
40 * instance of this because there can only ever be one VMCI device.  Our
41 * virtual hardware enforces this.
42 */
43extern struct pci_dev *vmci_pdev;
44
45u32 vmci_get_context_id(void);
46int vmci_send_datagram(struct vmci_datagram *dg);
47
48int vmci_host_init(void);
49void vmci_host_exit(void);
50bool vmci_host_code_active(void);
51
52int vmci_guest_init(void);
53void vmci_guest_exit(void);
54bool vmci_guest_code_active(void);
55u32 vmci_get_vm_context_id(void);
56
57#endif /* _VMCI_DRIVER_H_ */
58