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