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