include/valgrind/pub_tool_vkiscnums_asm.h

0001
0002 /*--------------------------------------------------------------------*/
0003 /*--- asm-only vkiscnums stuff.           pub_tool_vkiscnums_asm.h ---*/
0004 /*--------------------------------------------------------------------*/
0005
0006 /*
0007    This file is part of Valgrind, a dynamic binary instrumentation
0008    framework.
0009
0010    Copyright (C) 2005-2017 Nicholas Nethercote
0011       njn@valgrind.org
0012    Copyright (C) 2006-2017 OpenWorks LLP
0013       info@open-works.co.uk
0014
0015    This program is free software; you can redistribute it and/or
0016    modify it under the terms of the GNU General Public License as
0017    published by the Free Software Foundation; either version 2 of the
0018    License, or (at your option) any later version.
0019
0020    This program is distributed in the hope that it will be useful, but
0021    WITHOUT ANY WARRANTY; without even the implied warranty of
0022    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
0023    General Public License for more details.
0024
0025    You should have received a copy of the GNU General Public License
0026    along with this program; if not, see <http://www.gnu.org/licenses/>.
0027
0028    The GNU General Public License is contained in the file COPYING.
0029 */
0030
0031 #ifndef __PUB_TOOL_VKISCNUMS_ASM_H
0032 #define __PUB_TOOL_VKISCNUMS_ASM_H
0033
0034 #if defined(VGP_x86_linux)
0035 #  include "vki/vki-scnums-shared-linux.h"
0036 #  include "vki/vki-scnums-32bit-linux.h"
0037 #  include "vki/vki-scnums-x86-linux.h"
0038
0039 #elif defined(VGP_amd64_linux)
0040 #  include "vki/vki-scnums-shared-linux.h"
0041 #  include "vki/vki-scnums-amd64-linux.h"
0042
0043 #elif defined(VGP_ppc32_linux)
0044 #  include "vki/vki-scnums-shared-linux.h"
0045 #  include "vki/vki-scnums-32bit-linux.h"
0046 #  include "vki/vki-scnums-ppc32-linux.h"
0047
0048 #elif defined(VGP_ppc64be_linux) || defined(VGP_ppc64le_linux)
0049 #  include "vki/vki-scnums-shared-linux.h"
0050 #  include "vki/vki-scnums-ppc64-linux.h"
0051
0052 #elif defined(VGP_s390x_linux)
0053 #  include "vki/vki-scnums-shared-linux.h"
0054 #  include "vki/vki-scnums-s390x-linux.h"
0055
0056 #elif defined(VGP_arm_linux)
0057 #  include "vki/vki-scnums-shared-linux.h"
0058 #  include "vki/vki-scnums-32bit-linux.h"
0059 #  include "vki/vki-scnums-arm-linux.h"
0060
0061 #elif defined(VGP_arm64_linux)
0062 #  include "vki/vki-scnums-shared-linux.h"
0063 #  include "vki/vki-scnums-arm64-linux.h"
0064
0065 #elif defined(VGP_mips32_linux)
0066 #  include "vki/vki-scnums-shared-linux.h"
0067 #  include "vki/vki-scnums-32bit-linux.h"
0068 #  include "vki/vki-scnums-mips32-linux.h"
0069
0070 #elif defined(VGP_nanomips_linux)
0071 #  include "vki/vki-scnums-nanomips-linux.h"
0072
0073 #elif defined(VGP_mips64_linux)
0074 #  include "vki/vki-scnums-shared-linux.h"
0075 #  include "vki/vki-scnums-mips64-linux.h"
0076
0077 #elif defined(VGP_x86_freebsd) || defined(VGP_amd64_freebsd)
0078 #  include "vki/vki-scnums-freebsd.h"
0079
0080 #elif defined(VGP_x86_darwin) || defined(VGP_amd64_darwin)
0081 #  include "vki/vki-scnums-darwin.h"
0082
0083 #elif defined(VGP_x86_solaris) || (VGP_amd64_solaris)
0084 #  include "vki/vki-scnums-solaris.h"
0085
0086 #else
0087 #  error Unknown platform
0088 #endif
0089
0090 #endif   // __PUB_TOOL_VKISCNUMS_ASM_H
0091
0092 /*--------------------------------------------------------------------*/
0093 /*--- end                                                          ---*/
0094 /*--------------------------------------------------------------------*/