RTMpGetMaxCpuId-generic.cpp revision 5b281ba489ca18f0380d7efc7a5108b606cce449
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * IPRT - Multiprocessor, Generic RTMpGetMaxCpuId.
031b91a62d25106ae69d4693475c79618dd5e884fielding * Copyright (C) 2008 Sun Microsystems, Inc.
031b91a62d25106ae69d4693475c79618dd5e884fielding * This file is part of VirtualBox Open Source Edition (OSE), as
031b91a62d25106ae69d4693475c79618dd5e884fielding * available from http://www.virtualbox.org. This file is free software;
031b91a62d25106ae69d4693475c79618dd5e884fielding * you can redistribute it and/or modify it under the terms of the GNU
031b91a62d25106ae69d4693475c79618dd5e884fielding * General Public License (GPL) as published by the Free Software
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * Foundation, in version 2 as it comes in the "COPYING" file of the
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * The contents of this file may alternatively be used under the terms
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * of the Common Development and Distribution License Version 1.0
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * (CDDL) only, as it comes in the "COPYING.CDDL" file of the
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * VirtualBox OSE distribution, in which case the provisions of the
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * CDDL are applicable instead of those of the GPL.
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * You may elect to license modified versions of this file under the
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * terms and conditions of either the GPL or the CDDL or both.
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * Clara, CA 95054 USA or visit http://www.sun.com if you need
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd * additional information or have any questions.
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd/*******************************************************************************
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd* Header Files *
3f8adfdf712dad8059e3f5be6ff4f4a794386ce4nd*******************************************************************************/