a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * IPRT - RTMpPokeCpu, Solaris Implementation.
c7814cf6e1240a519cbec0441e033d0e2470ed00vboxsync * Copyright (C) 2009-2012 Oracle Corporation
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * available from http://www.virtualbox.org. This file is free software;
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * you can redistribute it and/or modify it under the terms of the GNU
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * General Public License (GPL) as published by the Free Software
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * The contents of this file may alternatively be used under the terms
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * of the Common Development and Distribution License Version 1.0
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * (CDDL) only, as it comes in the "COPYING.CDDL" file of the
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * VirtualBox OSE distribution, in which case the provisions of the
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * CDDL are applicable instead of those of the GPL.
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * You may elect to license modified versions of this file under the
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync * terms and conditions of either the GPL or the CDDL or both.
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync/*******************************************************************************
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync* Header Files *
a5bdd7a3f7740a413f3f342407a534504f2a566bvboxsync*******************************************************************************/