1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- begin libvex_guest_amd64.h ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Valgrind, a dynamic binary instrumentation 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown framework. 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 10b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov Copyright (C) 2004-2011 OpenWorks LLP 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown info@open-works.net 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02110-1301, USA. 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Neither the names of the U.S. Department of Energy nor the 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown University of California nor the names of its contributors may be 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown used to endorse or promote products derived from this software 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown without prior written permission. 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#ifndef __LIBVEX_PUB_GUEST_AMD64_H 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define __LIBVEX_PUB_GUEST_AMD64_H 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "libvex_basictypes.h" 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "libvex_emwarn.h" 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Vex's representation of the AMD64 CPU state. ---*/ 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* See detailed comments at the top of libvex_guest_x86.h for 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown further info. This representation closely follows the 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown x86 representation. 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Browntypedef 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown struct { 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 0 */ ULong guest_RAX; 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 8 */ ULong guest_RCX; 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 16 */ ULong guest_RDX; 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 24 */ ULong guest_RBX; 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 32 */ ULong guest_RSP; 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 40 */ ULong guest_RBP; 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 48 */ ULong guest_RSI; 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 56 */ ULong guest_RDI; 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 64 */ ULong guest_R8; 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 72 */ ULong guest_R9; 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 80 */ ULong guest_R10; 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 88 */ ULong guest_R11; 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 96 */ ULong guest_R12; 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 104 */ ULong guest_R13; 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 112 */ ULong guest_R14; 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 120 */ ULong guest_R15; 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 4-word thunk used to calculate O S Z A C P flags. */ 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 128 */ ULong guest_CC_OP; 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 136 */ ULong guest_CC_DEP1; 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 144 */ ULong guest_CC_DEP2; 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 152 */ ULong guest_CC_NDEP; 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* The D flag is stored here, encoded as either -1 or +1 */ 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 160 */ ULong guest_DFLAG; 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 168 */ ULong guest_RIP; 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Bit 18 (AC) of eflags stored here, as either 0 or 1. */ 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* ... */ ULong guest_ACFLAG; 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Bit 21 (ID) of eflags stored here, as either 0 or 1. */ 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 176 */ ULong guest_IDFLAG; 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Probably a lot more stuff too. 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown D,ID flags 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 16 128-bit SSE registers 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown all the old x87 FPU gunk 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown segment registers */ 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* HACK to make tls on amd64-linux work. %fs only ever seems to 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hold zero, and so guest_FS_ZERO holds the 64-bit offset 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown associated with a %fs value of zero. */ 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 184 */ ULong guest_FS_ZERO; 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* XMM registers. Note that these must be allocated 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown consecutively in order that the SSE4.2 PCMP{E,I}STR{I,M} 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown helpers can treat them as an array. XMM16 is a fake reg used 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown as an intermediary in handling aforementioned insns. */ 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 192 */ULong guest_SSEROUND; 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 200 */U128 guest_XMM0; 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM1; 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM2; 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM3; 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM4; 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM5; 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM6; 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM7; 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM8; 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM9; 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM10; 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM11; 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM12; 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM13; 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM14; 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM15; 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown U128 guest_XMM16; 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* FPU */ 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Note. Setting guest_FTOP to be ULong messes up the 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown delicately-balanced PutI/GetI optimisation machinery. 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Therefore best to leave it as a UInt. */ 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 456 */UInt guest_FTOP; 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong guest_FPREG[8]; 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 528 */ UChar guest_FPTAG[8]; 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 536 */ ULong guest_FPROUND; 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 544 */ ULong guest_FC3210; 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Emulation warnings */ 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 552 */ UInt guest_EMWARN; 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Translation-invalidation area description. Not used on amd64 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (there is no invalidate-icache insn), but needed so as to 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown allow users of the library to uniformly assume that the guest 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown state contains these two fields -- otherwise there is 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown compilation breakage. On amd64, these two fields are set to 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown zero by LibVEX_GuestAMD64_initialise and then should be 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ignored forever thereafter. */ 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong guest_TISTART; 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong guest_TILEN; 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Used to record the unredirected guest address at the start of 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown a translation whose start has been redirected. By reading 142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown this pseudo-register shortly afterwards, the translation can 143ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown find out what the corresponding no-redirection address was. 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Note, this is only set for wrap-style redirects, not for 145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown replace-style ones. */ 146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong guest_NRADDR; 147ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 148ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Used for Darwin syscall dispatching. */ 149ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong guest_SC_CLASS; 150ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 151ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* HACK to make tls on darwin work. %gs only ever seems to 152ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hold 0x60, and so guest_GS_0x60 holds the 64-bit offset 153ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown associated with a %gs value of 0x60. (A direct analogue 154ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown of the %fs-zero hack for amd64-linux). */ 155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong guest_GS_0x60; 156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 157ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Needed for Darwin (but mandated for all guest architectures): 158ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown RIP at the last syscall insn (int 0x80/81/82, sysenter, 159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown syscall). Used when backing up to restart a syscall that has 160ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown been interrupted by a signal. */ 161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong guest_IP_AT_SYSCALL; 162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 163ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Padding to make it have an 16-aligned size */ 164ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ULong padding; 165ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 166ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexGuestAMD64State; 167ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 168ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 169ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 170ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 171ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Utility functions for amd64 guest stuff. ---*/ 172ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 173ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 174ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* ALL THE FOLLOWING ARE VISIBLE TO LIBRARY CLIENT */ 175ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 176ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Initialise all guest amd64 state. The FPU is put in default 177ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown mode. */ 178ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 179ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid LibVEX_GuestAMD64_initialise ( /*OUT*/VexGuestAMD64State* vex_state ); 180ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 181ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 182ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Extract from the supplied VexGuestAMD64State structure the 183ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown corresponding native %rflags value. */ 184ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 185ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownULong LibVEX_GuestAMD64_get_rflags ( /*IN*/VexGuestAMD64State* vex_state ); 186ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 187ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Set the carry flag in the given state to 'new_carry_flag', which 188ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown should be zero or one. */ 189ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 190ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid 191ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownLibVEX_GuestAMD64_put_rflag_c ( ULong new_carry_flag, 192ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*MOD*/VexGuestAMD64State* vex_state ); 193ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 194ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 195ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#if 0 196ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Convert a saved x87 FPU image (as created by fsave) and write it 197ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown into the supplied VexGuestX86State structure. The non-FP parts of 198ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown said structure are left unchanged. 199ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 200ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 201ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid LibVEX_GuestX86_put_x87 ( /*IN*/UChar* x87_state, 202ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*OUT*/VexGuestX86State* vex_state ); 203ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 204ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Extract from the supplied VexGuestX86State structure, an x87 FPU 205ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown image. */ 206ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 207ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid LibVEX_GuestX86_get_x87 ( /*IN*/VexGuestX86State* vex_state, 208ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*OUT*/UChar* x87_state ); 209ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 210ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 211ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Given a 32-bit word containing native x86 %eflags values, set the 212ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown eflag-related fields in the supplied VexGuestX86State accordingly. 213ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown All other fields are left unchanged. */ 214ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 215ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownextern 216ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid LibVEX_GuestX86_put_eflags ( UInt eflags_native, 217ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*OUT*/VexGuestX86State* vex_state ); 218ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 219ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif /* 0 */ 220ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 221ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif /* ndef __LIBVEX_PUB_GUEST_AMD64_H */ 222ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 223ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 224ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- libvex_guest_amd64.h ---*/ 225ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*---------------------------------------------------------------*/ 226