include/pub_tool_guest.h

   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-2017 OpenWorks LLP
  12       info@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 #else
  68 #  error Unknown arch
  69 #endif
  70
  71 #endif   // __PUB_TOOL_GUEST_H
  72
  73 /*--------------------------------------------------------------------*/
  74 /*--- end                                                          ---*/
  75 /*--------------------------------------------------------------------*/