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