ubuntu/vbox/vboxguest/generic/RTMpGetCoreCount-generic.c

   1 /* $Id: RTMpGetCoreCount-generic.cpp $ */
   2 /** @file
   3  * IPRT - Multiprocessor, Generic RTMpGetCoreCount.
   4  */
   5
   6 /*
   7  * Copyright (C) 2013-2017 Oracle Corporation
   8  *
   9  * This file is part of VirtualBox Open Source Edition (OSE), as
  10  * available from http://www.virtualbox.org. This file is free software;
  11  * you can redistribute it and/or modify it under the terms of the GNU
  12  * General Public License (GPL) as published by the Free Software
  13  * Foundation, in version 2 as it comes in the "COPYING" file of the
  14  * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
  15  * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
  16  *
  17  * The contents of this file may alternatively be used under the terms
  18  * of the Common Development and Distribution License Version 1.0
  19  * (CDDL) only, as it comes in the "COPYING.CDDL" file of the
  20  * VirtualBox OSE distribution, in which case the provisions of the
  21  * CDDL are applicable instead of those of the GPL.
  22  *
  23  * You may elect to license modified versions of this file under the
  24  * terms and conditions of either the GPL or the CDDL or both.
  25  */
  26
  27
  28 /*********************************************************************************************************************************
  29 *   Header Files                                                                                                                 *
  30 *********************************************************************************************************************************/
  31 #include <iprt/mp.h>
  32 #include "internal/iprt.h"
  33
  34
  35 RTDECL(RTCPUID) RTMpGetCoreCount(void)
  36 {
  37     return RTMpGetCount();
  38 }
  39 RT_EXPORT_SYMBOL(RTMpGetCoreCount);
  40