tstDeviceStructSizeGC.cpp revision 67e7408aeaf42f2d4229caaa3108f34336aabfe8
/* $Id$ */
/** @file
* tstDeviceStructSizeGC - Generate structure member and size checks from the GC perspective.
*
* This is built using the VBOXGC template but linked into a host
* ring-3 executable, rather hacky.
*/
/*
* Copyright (C) 2006-2008 innotek 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 (GPL) 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.
*/
/*
* Sanity checks.
*/
#ifndef IN_GC
#endif
#endif
/*******************************************************************************
* Header Files *
*******************************************************************************/
#define VBOX_DEVICE_STRUCT_TESTCASE
#include "Bus/DevPCI.cpp" /* must be first! */
#include "Graphics/DevVGA.cpp"
#include "Input/DevPS2.cpp"
#include "Network/DevPCNet.cpp"
//#undef LOG_GROUP
#include "PC/DevACPI.cpp"
#include "PC/DevPIC.cpp"
#include "PC/DevPit-i8254.cpp"
#include "PC/DevRTC.cpp"
#include "PC/DevAPIC.cpp"
#include "Storage/DevATA.cpp"
#ifdef VBOX_WITH_USB
# include "USB/DevOHCI.cpp"
# include "USB/DevEHCI.cpp"
#endif
#include "VMMDev/VBoxDev.cpp"
#include "Serial/DevSerial.cpp"
#ifdef VBOX_WITH_AHCI
#include "Storage/DevAHCI.cpp"
#endif
#ifdef VBOX_WITH_E1000
#include "Network/DevE1000.cpp"
#endif
/* we don't use iprt here because we're pretending to be in GC! */
#include <stdio.h>
int main()
{
/* misc */
/* DevPCI.cpp */
/* DevVGA.cpp */
#ifdef CONFIG_BOCHS_VBE
#endif
#ifdef VBE_BYTEWISE_IO
#ifdef VBE_NEW_DYN_LIST
#endif
#endif
#ifdef VBE_NEW_DYN_LIST
#endif
/* Network/DevPCNet.cpp */
#ifndef PCNET_NO_POLLING
#endif
#ifdef PCNET_NO_POLLING
#endif
#ifdef VBOX_WITH_STATISTICS
# ifdef PCNET_NO_POLLING
# endif
#endif
/* PC/DevACPI.cpp */
/* PC/DevPIC.cpp */
#ifdef VBOX_WITH_STATISTICS
#endif
/* PC/DevPit-i8254.cpp */
// GEN_CHECK_OFF(PITState, dummy_refresh_clock);
/* PC/DevRTC.cpp */
#ifdef VBOX_WITH_STATISTICS
#endif
#ifdef VBOX_WITH_STATISTICS
#endif
/* Storage/DevATA.cpp */
GEN_CHECK_OFF(ATARequest, u);
GEN_CHECK_OFF(ATARequest, u.t);
GEN_CHECK_OFF(ATARequest, u.a);
#ifdef VBOX_WITH_USB
/* USB/DevOHCI.cpp */
//GEN_CHECK_OFF(OHCI, dqic:3);
//GEN_CHECK_OFF(OHCI, fno:1);
//GEN_CHECK_OFF(OHCI, fsmps:15);
//GEN_CHECK_OFF(OHCI, fit:1);
//GEN_CHECK_OFF(OHCI, fi:14);
//GEN_CHECK_OFF(OHCI, frt:1);
# ifdef VBOX_WITH_STATISTICS
# endif
/* USB/DevEHCI.cpp */
# ifdef VBOX_WITH_STATISTICS
# endif
#endif /* VBOX_WITH_USB */
/* VMMDev/VBoxDev.cpp */
/* Serial/DevSerial.cpp */
#ifdef VBOX_WITH_AHCI
/* Storage/DevAHCI.cpp */
#if 0 /* not used in GC anymore. */
#endif
#endif /* VBOX_WITH_AHCI */
#ifdef VBOX_WITH_E1000
#ifndef E1K_GLOBAL_MUTEX
#endif
#endif /* VBOX_WITH_E1000 */
return (0);
}