1
/*********************************************************
2
* Copyright (C) 2010 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
* Internal functions in the VMCI Doorbell API.
25
#ifndef VMCI_DOORBELL_H
26
#define VMCI_DOORBELL_H
28
#define INCLUDE_ALLOW_MODULE
29
#define INCLUDE_ALLOW_VMCORE
30
#define INCLUDE_ALLOW_VMKERNEL
31
#include "includeCheck.h"
33
#include "vmci_kernel_if.h"
34
#include "vmci_defs.h"
36
void VMCIDoorbell_Init(void);
37
void VMCIDoorbell_Exit(void);
38
void VMCIDoorbell_Hibernate(Bool enterHibernation);
39
void VMCIDoorbell_Sync(void);
41
int VMCIDoorbellHostContextNotify(VMCIId srcCID, VMCIHandle handle);
42
int VMCIDoorbellGetPrivFlags(VMCIHandle handle, VMCIPrivilegeFlags *privFlags);
44
Bool VMCI_RegisterNotificationBitmap(PPN bitmapPPN);
45
void VMCI_ScanNotificationBitmap(uint8 *bitmap);
47
#endif // VMCI_DOORBELL_H