VBoxGuest_Internal.h revision 296cdbced70651cbf4c98767398d0c898885b54b
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * VBoxGuest -- VirtualBox Win32 guest support driver
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * Copyright (C) 2006-2007 Oracle Corporation
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * available from http://www.virtualbox.org. This file is free software;
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * you can redistribute it and/or modify it under the terms of the GNU
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * General Public License (GPL) as published by the Free Software
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
87150caf549846b0edba30c50dabe5092df70b5fvboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
87150caf549846b0edba30c50dabe5092df70b5fvboxsync/*******************************************************************************
87150caf549846b0edba30c50dabe5092df70b5fvboxsync* Header Files *
87150caf549846b0edba30c50dabe5092df70b5fvboxsync*******************************************************************************/
87150caf549846b0edba30c50dabe5092df70b5fvboxsync/** @todo Use the-nt-kernel.h and keep the messy stuff all in one place? */
87150caf549846b0edba30c50dabe5092df70b5fvboxsync# if (_MSC_VER >= 1400) && !defined(VBOX_WITH_PATCHED_DDK)
87150caf549846b0edba30c50dabe5092df70b5fvboxsync# define _InterlockedExchange _InterlockedExchange_StupidDDKVsCompilerCrap
87150caf549846b0edba30c50dabe5092df70b5fvboxsync# define _InterlockedExchangeAdd _InterlockedExchangeAdd_StupidDDKVsCompilerCrap
87150caf549846b0edba30c50dabe5092df70b5fvboxsync# define _InterlockedCompareExchange _InterlockedCompareExchange_StupidDDKVsCompilerCrap
87150caf549846b0edba30c50dabe5092df70b5fvboxsync# define _InterlockedAddLargeStatistic _InterlockedAddLargeStatistic_StupidDDKVsCompilerCrap
# include <ntddk.h>
# ifdef LOG_TO_BACKDOOR
# define dprintf(a) do {} while (0)
# define dprintf2(a) do { } while (0)
enum DEVSTATE
NTSYSAPI NTSTATUS NTAPI ZwSetSystemTime(IN PLARGE_INTEGER NewTime, OUT PLARGE_INTEGER OldTime OPTIONAL);
#ifdef IN_RING0
typedef struct _BASE_ADDRESS {
typedef struct VBOXGUESTDEVEXT
#ifdef VBOX_WITH_HGCM
} MemBalloon;
} winVersion_t;
#ifdef VBOX_WITH_HGCM
* @remark Just to store hgcm ID's, perhaps could combine with one from common/VBoxGuest/vboxguestinternal.h?
typedef struct VBOXGUESTSESSION