1
/*********************************************************
2
* Copyright (C) 2007 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
*********************************************************/
22
* Event code for the vmci guest driver
25
#ifndef __VMCI_EVENT_H__
26
#define __VMCI_EVENT_H__
28
#define INCLUDE_ALLOW_MODULE
29
#define INCLUDE_ALLOW_VMMON
30
#define INCLUDE_ALLOW_VMCORE
31
#define INCLUDE_ALLOW_VMKERNEL
32
#include "includeCheck.h"
34
#include "vmci_defs.h"
35
#include "vmci_call_defs.h"
37
void VMCIEvent_Init(void);
38
void VMCIEvent_Exit(void);
39
void VMCIEvent_Sync(void);
40
int VMCIEvent_Dispatch(VMCIDatagram *msg);
41
Bool VMCIEvent_CheckHostCapabilities(void);
43
#endif //__VMCI_EVENT_H__