1
/*********************************************************
2
* Copyright (C) 2006 VMware, Inc. All rights reserved.
4
* This program is free software; you can redistribute it and/or modify it
5
* under the terms of the GNU General Public License as published by the
6
* Free Software Foundation version 2 and no later version.
8
* This program is distributed in the hope that it will be useful, but
9
* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
10
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13
* You should have received a copy of the GNU General Public License along
14
* with this program; if not, write to the Free Software Foundation, Inc.,
15
* 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
17
*********************************************************/
25
#ifndef __VMCI_UTIL_H__
26
#define __VMCI_UTIL_H__
28
#define INCLUDE_ALLOW_MODULE
29
#include "includeCheck.h"
31
#include "vmciGuestKernelIf.h"
32
#include "vmci_infrastructure.h"
34
#define VMCI_MAJOR_VERSION_NUMBER 1
35
#define VMCI_MINOR_VERSION_NUMBER 0
36
#define VMCI_VERSION_NUMBER \
37
((VMCI_MAJOR_VERSION_NUMBER << 16) | (VMCI_MINOR_VERSION_NUMBER))
39
typedef struct VMCIGuestDeviceHandle {
42
} VMCIGuestDeviceHandle;
44
void VMCIUtil_Init(void);
45
void VMCIUtil_Exit(void);
46
Bool VMCIUtil_CheckHostCapabilities(void);
47
Bool VMCI_CheckHostCapabilities(void);
48
Bool VMCI_InInterrupt(void);
49
void VMCI_ReadDatagramsFromPort(VMCIIoHandle ioHandle, VMCIIoPort dgInPort,
50
uint8 *dgInBuffer, size_t dgInBufferSize);
52
#endif //__VMCI_UTIL_H__