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, see <http://www.gnu.org/licenses/>.
  26
  27    The GNU General Public License is contained in the file COPYING.
  28
  29    Neither the names of the U.S. Department of Energy nor the
  30    University of California nor the names of its contributors may be
  31    used to endorse or promote products derived from this software
  32    without prior written permission.
  33 */
  34
  35 #ifndef __PUB_TOOL_GUEST_H
  36 #define __PUB_TOOL_GUEST_H
  37
  38 #if defined(VGA_x86)
  39 #  include "libvex_guest_x86.h"
  40    typedef VexGuestX86State   VexGuestArchState;
  41 #elif defined(VGA_amd64)
  42 #  include "libvex_guest_amd64.h"
  43    typedef VexGuestAMD64State VexGuestArchState;
  44 #elif defined(VGA_ppc32)
  45 #  include "libvex_guest_ppc32.h"
  46    typedef VexGuestPPC32State VexGuestArchState;
  47 #elif defined(VGA_ppc64be) || defined(VGA_ppc64le)
  48 #  include "libvex_guest_ppc64.h"
  49    typedef VexGuestPPC64State VexGuestArchState;
  50 #elif defined(VGA_arm)
  51 #  include "libvex_guest_arm.h"
  52    typedef VexGuestARMState   VexGuestArchState;
  53 #elif defined(VGA_arm64)
  54 #  include "libvex_guest_arm64.h"
  55    typedef VexGuestARM64State VexGuestArchState;
  56 #elif defined(VGA_s390x)
  57 #  include "libvex_guest_s390x.h"
  58    typedef VexGuestS390XState VexGuestArchState;
  59 #elif defined(VGA_mips32) || defined(VGA_nanomips)
  60 #  include "libvex_guest_mips32.h"
  61    typedef VexGuestMIPS32State VexGuestArchState;
  62 #elif defined(VGA_mips64)
  63 #  include "libvex_guest_mips64.h"
  64    typedef VexGuestMIPS64State VexGuestArchState;
  65 #else
  66 #  error Unknown arch
  67 #endif
  68
  69 #endif   // __PUB_TOOL_GUEST_H
  70
  71 /*--------------------------------------------------------------------*/
  72 /*--- end                                                          ---*/
  73 /*--------------------------------------------------------------------*/