917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * Instruction Test Environment - IPRT ring-3 driver.
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * Copyright (C) 2006-2013 Oracle Corporation
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * available from http://www.virtualbox.org. This file is free software;
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * you can redistribute it and/or modify it under the terms of the GNU
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * General Public License (GPL) as published by the Free Software
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync/*******************************************************************************
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync* Header Files *
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync*******************************************************************************/
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync/*******************************************************************************
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync* Structures and Typedefs *
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync*******************************************************************************/
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync/*******************************************************************************
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync* Global Variables *
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync*******************************************************************************/
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure(const char *pszMessage);
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure1(const char *pszFmt, VBINSTSTREG uArg1);
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure2(const char *pszFmt, VBINSTSTREG uArg1, VBINSTSTREG uArg2);
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure3(const char *pszFmt, VBINSTSTREG uArg1, VBINSTSTREG uArg2, VBINSTSTREG uArg3);
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure4(const char *pszFmt, VBINSTSTREG uArg1, VBINSTSTREG uArg2, VBINSTSTREG uArg3, VBINSTSTREG uArg4);
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure(const char *pszMessage)
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure1(const char *pszFmt, VBINSTSTREG uArg1)
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure2(const char *pszFmt, VBINSTSTREG uArg1, VBINSTSTREG uArg2)
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure3(const char *pszFmt, VBINSTSTREG uArg1, VBINSTSTREG uArg2, VBINSTSTREG uArg3)
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync RTTestFailed(g_hTest, pszFmt, uArg1, uArg2, uArg3);
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsyncDECLEXPORT(void) VBInsTstFailure4(const char *pszFmt, VBINSTSTREG uArg1, VBINSTSTREG uArg2, VBINSTSTREG uArg3, VBINSTSTREG uArg4)
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync RTTestFailed(g_hTest, pszFmt, uArg1, uArg2, uArg3, uArg4);
917f4ee9f101c9786cf09ea0fe7923a7f6dfe40cvboxsync RTEXITCODE rcExit = RTTestInitAndCreate("VBInsTstR3", &g_hTest);
f372af8e6ee2a011213b11cc69f4a29530ff7ce5vboxsync int rc = RTMemAllocEx(_4K, 0, RTMEMALLOCEX_FLAGS_16BIT_REACH, &g_pvLow16Mem4K);
f372af8e6ee2a011213b11cc69f4a29530ff7ce5vboxsync RTTestPrintf(g_hTest, RTTESTLVL_ALWAYS, "Could not allocate low 16-bit memory (%Rrc)\n", rc);
f372af8e6ee2a011213b11cc69f4a29530ff7ce5vboxsync rc = RTMemAllocEx(_4K, 0, RTMEMALLOCEX_FLAGS_32BIT_REACH, &g_pvLow32Mem4K);
f372af8e6ee2a011213b11cc69f4a29530ff7ce5vboxsync RTTestPrintf(g_hTest, RTTESTLVL_ALWAYS, "Could not allocate low 32-bit memory (%Rrc)\n", rc);