1 /* -*- mode: C; c-basic-offset: 3; -*- */ 2 3 /*---------------------------------------------------------------*/ 4 /*--- Provides guest state definition. pub_tool_guest.h ---*/ 5 /*---------------------------------------------------------------*/ 6 7 /* 8 This file is part of Valgrind, a dynamic binary instrumentation 9 framework. 10 11 Copyright (C) 2014-2015 OpenWorks LLP 12 info (at) open-works.net 13 14 This program is free software; you can redistribute it and/or 15 modify it under the terms of the GNU General Public License as 16 published by the Free Software Foundation; either version 2 of the 17 License, or (at your option) any later version. 18 19 This program is distributed in the hope that it will be useful, but 20 WITHOUT ANY WARRANTY; without even the implied warranty of 21 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 22 General Public License for more details. 23 24 You should have received a copy of the GNU General Public License 25 along with this program; if not, write to the Free Software 26 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 27 02110-1301, USA. 28 29 The GNU General Public License is contained in the file COPYING. 30 31 Neither the names of the U.S. Department of Energy nor the 32 University of California nor the names of its contributors may be 33 used to endorse or promote products derived from this software 34 without prior written permission. 35 */ 36 37 #ifndef __PUB_TOOL_GUEST_H 38 #define __PUB_TOOL_GUEST_H 39 40 #if defined(VGA_x86) 41 # include "libvex_guest_x86.h" 42 typedef VexGuestX86State VexGuestArchState; 43 #elif defined(VGA_amd64) 44 # include "libvex_guest_amd64.h" 45 typedef VexGuestAMD64State VexGuestArchState; 46 #elif defined(VGA_ppc32) 47 # include "libvex_guest_ppc32.h" 48 typedef VexGuestPPC32State VexGuestArchState; 49 #elif defined(VGA_ppc64be) || defined(VGA_ppc64le) 50 # include "libvex_guest_ppc64.h" 51 typedef VexGuestPPC64State VexGuestArchState; 52 #elif defined(VGA_arm) 53 # include "libvex_guest_arm.h" 54 typedef VexGuestARMState VexGuestArchState; 55 #elif defined(VGA_arm64) 56 # include "libvex_guest_arm64.h" 57 typedef VexGuestARM64State VexGuestArchState; 58 #elif defined(VGA_s390x) 59 # include "libvex_guest_s390x.h" 60 typedef VexGuestS390XState VexGuestArchState; 61 #elif defined(VGA_mips32) 62 # include "libvex_guest_mips32.h" 63 typedef VexGuestMIPS32State VexGuestArchState; 64 #elif defined(VGA_mips64) 65 # include "libvex_guest_mips64.h" 66 typedef VexGuestMIPS64State VexGuestArchState; 67 #elif defined(VGA_tilegx) 68 # include "libvex_guest_tilegx.h" 69 typedef VexGuestTILEGXState VexGuestArchState; 70 #else 71 # error Unknown arch 72 #endif 73 74 #endif // __PUB_TOOL_GUEST_H 75 76 /*--------------------------------------------------------------------*/ 77 /*--- end ---*/ 78 /*--------------------------------------------------------------------*/ 79