e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * IPRT - Multiprocessor, Stubs for the RTMp*Present* API.
c7814cf6e1240a519cbec0441e033d0e2470ed00vboxsync * Copyright (C) 2008-2010 Oracle Corporation
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * available from http://www.virtualbox.org. This file is free software;
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * you can redistribute it and/or modify it under the terms of the GNU
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * General Public License (GPL) as published by the Free Software
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * The contents of this file may alternatively be used under the terms
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * of the Common Development and Distribution License Version 1.0
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * (CDDL) only, as it comes in the "COPYING.CDDL" file of the
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * VirtualBox OSE distribution, in which case the provisions of the
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * CDDL are applicable instead of those of the GPL.
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * You may elect to license modified versions of this file under the
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync * terms and conditions of either the GPL or the CDDL or both.
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync/*******************************************************************************
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync* Header Files *
e3e8bde164b5715114ebf596187b5512fa9b75advboxsync*******************************************************************************/