include/valgrind/pub_tool_guest.h

0001 /* -*- mode: C; c-basic-offset: 3; -*- */
0002
0003 /*---------------------------------------------------------------*/
0004 /*--- Provides guest state definition.       pub_tool_guest.h ---*/
0005 /*---------------------------------------------------------------*/
0006
0007 /*
0008    This file is part of Valgrind, a dynamic binary instrumentation
0009    framework.
0010
0011    Copyright (C) 2014-2017 OpenWorks LLP
0012       info@open-works.net
0013
0014    This program is free software; you can redistribute it and/or
0015    modify it under the terms of the GNU General Public License as
0016    published by the Free Software Foundation; either version 2 of the
0017    License, or (at your option) any later version.
0018
0019    This program is distributed in the hope that it will be useful, but
0020    WITHOUT ANY WARRANTY; without even the implied warranty of
0021    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
0022    General Public License for more details.
0023
0024    You should have received a copy of the GNU General Public License
0025    along with this program; if not, see <http://www.gnu.org/licenses/>.
0026
0027    The GNU General Public License is contained in the file COPYING.
0028
0029    Neither the names of the U.S. Department of Energy nor the
0030    University of California nor the names of its contributors may be
0031    used to endorse or promote products derived from this software
0032    without prior written permission.
0033 */
0034
0035 #ifndef __PUB_TOOL_GUEST_H
0036 #define __PUB_TOOL_GUEST_H
0037
0038 #if defined(VGA_x86)
0039 #  include "libvex_guest_x86.h"
0040    typedef VexGuestX86State   VexGuestArchState;
0041 #elif defined(VGA_amd64)
0042 #  include "libvex_guest_amd64.h"
0043    typedef VexGuestAMD64State VexGuestArchState;
0044 #elif defined(VGA_ppc32)
0045 #  include "libvex_guest_ppc32.h"
0046    typedef VexGuestPPC32State VexGuestArchState;
0047 #elif defined(VGA_ppc64be) || defined(VGA_ppc64le)
0048 #  include "libvex_guest_ppc64.h"
0049    typedef VexGuestPPC64State VexGuestArchState;
0050 #elif defined(VGA_arm)
0051 #  include "libvex_guest_arm.h"
0052    typedef VexGuestARMState   VexGuestArchState;
0053 #elif defined(VGA_arm64)
0054 #  include "libvex_guest_arm64.h"
0055    typedef VexGuestARM64State VexGuestArchState;
0056 #elif defined(VGA_s390x)
0057 #  include "libvex_guest_s390x.h"
0058    typedef VexGuestS390XState VexGuestArchState;
0059 #elif defined(VGA_mips32) || defined(VGA_nanomips)
0060 #  include "libvex_guest_mips32.h"
0061    typedef VexGuestMIPS32State VexGuestArchState;
0062 #elif defined(VGA_mips64)
0063 #  include "libvex_guest_mips64.h"
0064    typedef VexGuestMIPS64State VexGuestArchState;
0065 #else
0066 #  error Unknown arch
0067 #endif
0068
0069 #endif   // __PUB_TOOL_GUEST_H
0070
0071 /*--------------------------------------------------------------------*/
0072 /*--- end                                                          ---*/
0073 /*--------------------------------------------------------------------*/