123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657 |
- /*
- * VMware VMCI Driver
- *
- * Copyright (C) 2012 VMware, Inc. All rights reserved.
- *
- * This program is free software; you can redistribute it and/or modify it
- * under the terms of the GNU General Public License as published by the
- * Free Software Foundation version 2 and no later version.
- *
- * This program is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
- * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- * for more details.
- */
- #ifndef _VMCI_DRIVER_H_
- #define _VMCI_DRIVER_H_
- #include <linux/vmw_vmci_defs.h>
- #include <linux/wait.h>
- #include "vmci_queue_pair.h"
- #include "vmci_context.h"
- enum vmci_obj_type {
- VMCIOBJ_VMX_VM = 10,
- VMCIOBJ_CONTEXT,
- VMCIOBJ_SOCKET,
- VMCIOBJ_NOT_SET,
- };
- /* For storing VMCI structures in file handles. */
- struct vmci_obj {
- void *ptr;
- enum vmci_obj_type type;
- };
- /*
- * Needed by other components of this module. It's okay to have one global
- * instance of this because there can only ever be one VMCI device. Our
- * virtual hardware enforces this.
- */
- extern struct pci_dev *vmci_pdev;
- u32 vmci_get_context_id(void);
- int vmci_send_datagram(struct vmci_datagram *dg);
- int vmci_host_init(void);
- void vmci_host_exit(void);
- bool vmci_host_code_active(void);
- int vmci_guest_init(void);
- void vmci_guest_exit(void);
- bool vmci_guest_code_active(void);
- u32 vmci_get_vm_context_id(void);
- #endif /* _VMCI_DRIVER_H_ */
|