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
*********************************************************/
19
#ifndef __VMCI_INT_H__
20
#define __VMCI_INT_H__
22
#define INCLUDE_ALLOW_MODULE
23
#include "includeCheck.h"
25
#include "vm_basic_types.h"
26
#include "vmci_call_defs.h"
27
#include "vmciProcess.h"
29
#define DOLOG(...) printk(KERN_INFO __VA_ARGS__)
30
#define VMCI_LOG(_args) DOLOG _args
31
/* XXX We need to make this consistant between the guest and the host. */
32
#define VMCILOG(_args) DOLOG _args
35
* Called by common code, hence the different naming convention.
36
* XXX Should be in vmci.h.
38
int VMCI_SendDatagram(VMCIDatagram *dg);
39
Bool VMCI_DeviceEnabled(void);
41
#endif /* __VMCIINT_H__ */