Helper.h revision 677833bc953b6cb418c701facbdcf4aa18d6c44e
/** @file
*
* VBoxGuest -- VirtualBox Win32 guest support driver
*
* Copyright (C) 2006 InnoTek Systemberatung GmbH
*
* This file is part of VirtualBox Open Source Edition (OSE), as
* available from http://www.virtualbox.org. This file 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,
* in version 2 as it comes in the "COPYING" file of the VirtualBox OSE
* distribution. VirtualBox OSE is distributed in the hope that it will
* be useful, but WITHOUT ANY WARRANTY of any kind.
*
* If you received this file as part of a commercial VirtualBox
* distribution, then only the terms of your commercial VirtualBox
* license agreement apply instead of the previous paragraph.
*
*/
#ifndef _H_VBOXGUESTHELPER
#define _H_VBOXGUESTHELPER
extern "C"
{
/**
* Helper to scan the PCI resource list and remember stuff.
*
* @param pResList Resource list
* @param pDevExt Device extension
* @return NT status code
*/
NTSTATUS VBoxScanPCIResourceList(PCM_RESOURCE_LIST pResList, PVBOXGUESTDEVEXT pDevExt);
/**
* Helper to map VMMDev Memory.
*
* @param pDevExt VMMDev device extension
* @return NT status code
*/
NTSTATUS hlpVBoxMapVMMDevMemory (PVBOXGUESTDEVEXT pDevExt);
/**
* Helper to unmap VMMDev Memory.
*
* @param pDevExt VMMDev device extension
*/
void hlpVBoxUnmapVMMDevMemory (PVBOXGUESTDEVEXT pDevExt);
/**
* Helper to report the guest information to host.
*
* @param pDevExt VMMDev device extension
* @return NT status code
*/
NTSTATUS hlpVBoxReportGuestInfo (PVBOXGUESTDEVEXT pDevExt);
}
#endif // _H_VBOXGUESTHELPER