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