6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync/* $Id$ */
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync/** @file
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * IPRT - Multiprocessor, Generic RTMpGetCoreCount.
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync */
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync/*
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * Copyright (C) 2013 Oracle Corporation
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync *
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * available from http://www.virtualbox.org. This file is free software;
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * you can redistribute it and/or modify it under the terms of the GNU
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * General Public License (GPL) as published by the Free Software
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync *
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * The contents of this file may alternatively be used under the terms
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * of the Common Development and Distribution License Version 1.0
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * (CDDL) only, as it comes in the "COPYING.CDDL" file of the
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * VirtualBox OSE distribution, in which case the provisions of the
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * CDDL are applicable instead of those of the GPL.
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync *
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * You may elect to license modified versions of this file under the
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync * terms and conditions of either the GPL or the CDDL or both.
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync */
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync/*******************************************************************************
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync* Header Files *
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync*******************************************************************************/
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync#include <iprt/mp.h>
04bce18d27791abed8346aba0de41c53a2acd81avboxsync#include "internal/iprt.h"
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync
a52baf781d378be21f10c408cb89c5cffee645a4vboxsyncRTDECL(RTCPUID) RTMpGetCoreCount(void)
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync{
a52baf781d378be21f10c408cb89c5cffee645a4vboxsync return RTMpGetCount();
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsync}
6a5bc4dc98789eb202e249b189f036e5ff9129ccvboxsyncRT_EXPORT_SYMBOL(RTMpGetCoreCount);
04bce18d27791abed8346aba0de41c53a2acd81avboxsync