Helper.h revision 677833bc953b6cb418c701facbdcf4aa18d6c44e
/** @file
*
* VBoxGuest -- VirtualBox Win 2000/XP guest video 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;
* 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 __HELPER_h__
#define __HELPER_h__
// Windows version identifier
typedef enum
{
UNKNOWN_WINVERSION = 0,
WINNT4 = 1,
WIN2K = 2,
WINXP = 3
} winVersion_t;
extern "C"
{
#include "vboxioctl.h"
}
/* debug printf */
# define OSDBGPRINT(a) DbgPrint a
/* dprintf */
# ifdef LOG_TO_BACKDOOR
# define dprintf(a) RTLogBackdoorPrintf a
# else
# define dprintf(a) OSDBGPRINT(a)
# endif
#else
# define dprintf(a) do {} while (0)
#endif
/* dprintf2 - extended logging. */
#if 0
#else
# define dprintf2(a) do { } while (0)
#endif
#endif // __HELPER_h__