zenithsiz/ftmemsim-valgrind
1
0
Fork 0
mirror of https://github.com/Zenithsiz/ftmemsim-valgrind.git synced 2026-02-04 02:18:37 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
ftmemsim-valgrind/include/vki-amd64-linux.h
Julian Seward cc8ccbbfb4 This commit merges in changes from branches/ASPACEM (specifically, 
changes from r4341 through r4787 inclusive).  That branch is now dead.
Please do not commit anything else to it.

For the most part the merge was not troublesome.  The main areas of
uncertainty are:

- build system: I had to import by hand Makefile.core-AM_CPPFLAGS.am
  and include it in a couple of places.  Building etc seems to still
  work, but I haven't tried building the documentation.

- syscall wrappers: Following analysis by Greg & Nick, a whole lot of
  stuff was moved from -generic to -linux after the branch was created.
  I think that is satisfactorily glued back together now.

- Regtests: although this appears to work, no .out files appear, which
  is strange, and makes it hard to diagnose regtest failures.  In
  particular memcheck/tests/x86/scalar.stderr.exp remains in a 
  conflicted state.

- amd64 is broken (slightly), and ppc32 will be unbuildable.  I'll
  attend to the former shortly.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4789
2005-09-27 19:20:21 +00:00

648 lines
21 KiB
C
Raw Blame History

/*--------------------------------------------------------------------*/
/*--- AMD64/Linux-specific kernel interface. ---*/
/*--- vki-amd64-linux.h ---*/
/*--------------------------------------------------------------------*/
/*
This file is part of Valgrind, a dynamic binary instrumentation
framework.
Copyright (C) 2000-2005 Julian Seward
jseward@acm.org
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation; either version 2 of the
License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
02111-1307, USA.
The GNU General Public License is contained in the file COPYING.
*/
#ifndef __VKI_AMD64_LINUX_H
#define __VKI_AMD64_LINUX_H
// AMD64 is little-endian.
#define VKI_LITTLE_ENDIAN 1
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/types.h
//----------------------------------------------------------------------
typedef unsigned char __vki_u8;
typedef __signed__ short __vki_s16;
typedef unsigned short __vki_u16;
typedef __signed__ int __vki_s32;
typedef unsigned int __vki_u32;
typedef __signed__ long long __vki_s64;
typedef unsigned long long __vki_u64;
typedef unsigned short vki_u16;
typedef unsigned int vki_u32;
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/page.h
//----------------------------------------------------------------------
#define VKI_PAGE_SHIFT 12
#define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT)
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/signal.h
//----------------------------------------------------------------------
#define _VKI_NSIG 64
#define _VKI_NSIG_BPW 64
#define _VKI_NSIG_WORDS (_VKI_NSIG / _VKI_NSIG_BPW)
typedef unsigned long vki_old_sigset_t; /* at least 32 bits */
typedef struct {
unsigned long sig[_VKI_NSIG_WORDS];
} vki_sigset_t;
#define VKI_SIGHUP 1
#define VKI_SIGINT 2
#define VKI_SIGQUIT 3
#define VKI_SIGILL 4
#define VKI_SIGTRAP 5
#define VKI_SIGABRT 6
#define VKI_SIGBUS 7
#define VKI_SIGFPE 8
#define VKI_SIGKILL 9
#define VKI_SIGUSR1 10
#define VKI_SIGSEGV 11
#define VKI_SIGUSR2 12
#define VKI_SIGPIPE 13
#define VKI_SIGALRM 14
#define VKI_SIGTERM 15
#define VKI_SIGSTKFLT 16
#define VKI_SIGCHLD 17
#define VKI_SIGCONT 18
#define VKI_SIGSTOP 19
#define VKI_SIGTSTP 20
#define VKI_SIGTTIN 21
#define VKI_SIGTTOU 22
#define VKI_SIGURG 23
#define VKI_SIGXCPU 24
#define VKI_SIGXFSZ 25
#define VKI_SIGVTALRM 26
#define VKI_SIGPROF 27
#define VKI_SIGWINCH 28
#define VKI_SIGIO 29
#define VKI_SIGPWR 30
#define VKI_SIGSYS 31
#define VKI_SIGUNUSED 31
#define VKI_SIGRTMIN 32
#define VKI_SIGRTMAX _VKI_NSIG
#define VKI_SA_NOCLDSTOP 0x00000001
#define VKI_SA_NOCLDWAIT 0x00000002
#define VKI_SA_SIGINFO 0x00000004
#define VKI_SA_ONSTACK 0x08000000
#define VKI_SA_RESTART 0x10000000
#define VKI_SA_NODEFER 0x40000000
#define VKI_SA_RESETHAND 0x80000000
#define VKI_SA_NOMASK VKI_SA_NODEFER
#define VKI_SA_ONESHOT VKI_SA_RESETHAND
#define VKI_SA_RESTORER 0x04000000
#define VKI_SS_ONSTACK 1
#define VKI_SS_DISABLE 2
#define VKI_MINSIGSTKSZ 2048
#define VKI_SIG_BLOCK 0 /* for blocking signals */
#define VKI_SIG_UNBLOCK 1 /* for unblocking signals */
#define VKI_SIG_SETMASK 2 /* for setting the signal mask */
typedef void __vki_signalfn_t(int);
typedef __vki_signalfn_t __user *__vki_sighandler_t;
typedef void __vki_restorefn_t(void);
typedef __vki_restorefn_t __user *__vki_sigrestore_t;
#define VKI_SIG_DFL ((__vki_sighandler_t)0) /* default signal handling */
#define VKI_SIG_IGN ((__vki_sighandler_t)1) /* ignore signal */
struct vki_sigaction {
// [[Nb: a 'k' prefix is added to "sa_handler" because
// bits/sigaction.h (which gets dragged in somehow via signal.h)
// #defines it as something else. Since that is done for glibc's
// purposes, which we don't care about here, we use our own name.]]
__vki_sighandler_t ksa_handler;
unsigned long sa_flags;
__vki_sigrestore_t sa_restorer;
vki_sigset_t sa_mask; /* mask last for extensibility */
};
typedef struct vki_sigaltstack {
void __user *ss_sp;
int ss_flags;
vki_size_t ss_size;
} vki_stack_t;
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/sigcontext.h
//----------------------------------------------------------------------
struct _vki_fpstate {
__vki_u16 cwd;
__vki_u16 swd;
__vki_u16 twd; /* Note this is not the same as the 32bit/x87/FSAVE twd */
__vki_u16 fop;
__vki_u64 rip;
__vki_u64 rdp;
__vki_u32 mxcsr;
__vki_u32 mxcsr_mask;
__vki_u32 st_space[32]; /* 8*16 bytes for each FP-reg */
__vki_u32 xmm_space[64]; /* 16*16 bytes for each XMM-reg */
__vki_u32 reserved2[24];
};
struct vki_sigcontext {
unsigned long r8;
unsigned long r9;
unsigned long r10;
unsigned long r11;
unsigned long r12;
unsigned long r13;
unsigned long r14;
unsigned long r15;
unsigned long rdi;
unsigned long rsi;
unsigned long rbp;
unsigned long rbx;
unsigned long rdx;
unsigned long rax;
unsigned long rcx;
unsigned long rsp;
unsigned long rip;
unsigned long eflags; /* RFLAGS */
unsigned short cs;
unsigned short gs;
unsigned short fs;
unsigned short __pad0;
unsigned long err;
unsigned long trapno;
unsigned long oldmask;
unsigned long cr2;
struct _vki_fpstate __user *fpstate; /* zero when no FPU context */
unsigned long reserved1[8];
};
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/mman.h
//----------------------------------------------------------------------
#define VKI_PROT_READ 0x1 /* page can be read */
#define VKI_PROT_WRITE 0x2 /* page can be written */
#define VKI_PROT_EXEC 0x4 /* page can be executed */
#define VKI_PROT_NONE 0x0 /* page can not be accessed */
#define VKI_MAP_SHARED 0x01 /* Share changes */
#define VKI_MAP_PRIVATE 0x02 /* Changes are private */
#define VKI_MAP_FIXED 0x10 /* Interpret addr exactly */
#define VKI_MAP_ANONYMOUS 0x20 /* don't use a file */
#define VKI_MAP_NORESERVE 0x4000 /* don't check for reservations */
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/fcntl.h
//----------------------------------------------------------------------
#define VKI_O_RDONLY 00
#define VKI_O_WRONLY 01
#define VKI_O_RDWR 02
#define VKI_O_CREAT 0100 /* not fcntl */
#define VKI_O_EXCL 0200 /* not fcntl */
#define VKI_O_TRUNC 01000 /* not fcntl */
#define VKI_O_APPEND 02000
#define VKI_O_NONBLOCK 04000
#define VKI_F_DUPFD 0 /* dup */
#define VKI_F_GETFD 1 /* get close_on_exec */
#define VKI_F_SETFD 2 /* set/clear close_on_exec */
#define VKI_F_GETFL 3 /* get file->f_flags */
#define VKI_F_SETFL 4 /* set file->f_flags */
#define VKI_F_GETLK 5
#define VKI_F_SETLK 6
#define VKI_F_SETLKW 7
#define VKI_F_SETOWN 8 /* for sockets. */
#define VKI_F_GETOWN 9 /* for sockets. */
#define VKI_F_SETSIG 10 /* for sockets. */
#define VKI_F_GETSIG 11 /* for sockets. */
#define VKI_FD_CLOEXEC 1 /* actually anything with low bit set goes */
#define VKI_F_LINUX_SPECIFIC_BASE 1024
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/resource.h
//----------------------------------------------------------------------
#define VKI_RLIMIT_DATA 2 /* max data size */
#define VKI_RLIMIT_STACK 3 /* max stack size */
#define VKI_RLIMIT_CORE 4 /* max core file size */
#define VKI_RLIMIT_NOFILE 7 /* max number of open files */
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/socket.h
//----------------------------------------------------------------------
#define VKI_SOL_SOCKET 1
#define VKI_SO_TYPE 3
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/sockios.h
//----------------------------------------------------------------------
#define VKI_SIOCSPGRP 0x8902
#define VKI_SIOCGPGRP 0x8904
#define VKI_SIOCGSTAMP 0x8906 /* Get stamp */
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/stat.h
//----------------------------------------------------------------------
struct vki_stat {
unsigned long st_dev;
unsigned long st_ino;
unsigned long st_nlink;
unsigned int st_mode;
unsigned int st_uid;
unsigned int st_gid;
unsigned int __pad0;
unsigned long st_rdev;
long st_size;
long st_blksize;
long st_blocks; /* Number 512-byte blocks allocated. */
unsigned long st_atime;
unsigned long st_atime_nsec;
unsigned long st_mtime;
unsigned long st_mtime_nsec;
unsigned long st_ctime;
unsigned long st_ctime_nsec;
long __unused[3];
};
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/statfs.h
//----------------------------------------------------------------------
struct vki_statfs {
long f_type;
long f_bsize;
long f_blocks;
long f_bfree;
long f_bavail;
long f_files;
long f_ffree;
__vki_kernel_fsid_t f_fsid;
long f_namelen;
long f_frsize;
long f_spare[5];
};
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/termios.h
//----------------------------------------------------------------------
struct vki_winsize {
unsigned short ws_row;
unsigned short ws_col;
unsigned short ws_xpixel;
unsigned short ws_ypixel;
};
#define VKI_NCC 8
struct vki_termio {
unsigned short c_iflag; /* input mode flags */
unsigned short c_oflag; /* output mode flags */
unsigned short c_cflag; /* control mode flags */
unsigned short c_lflag; /* local mode flags */
unsigned char c_line; /* line discipline */
unsigned char c_cc[VKI_NCC]; /* control characters */
};
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/termbits.h
//----------------------------------------------------------------------
typedef unsigned char vki_cc_t;
typedef unsigned int vki_tcflag_t;
#define VKI_NCCS 19
struct vki_termios {
vki_tcflag_t c_iflag; /* input mode flags */
vki_tcflag_t c_oflag; /* output mode flags */
vki_tcflag_t c_cflag; /* control mode flags */
vki_tcflag_t c_lflag; /* local mode flags */
vki_cc_t c_line; /* line discipline */
vki_cc_t c_cc[VKI_NCCS]; /* control characters */
};
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/ioctl.h
//----------------------------------------------------------------------
#define _VKI_IOC_NRBITS 8
#define _VKI_IOC_TYPEBITS 8
#define _VKI_IOC_SIZEBITS 14
#define _VKI_IOC_DIRBITS 2
#define _VKI_IOC_SIZEMASK ((1 << _VKI_IOC_SIZEBITS)-1)
#define _VKI_IOC_DIRMASK ((1 << _VKI_IOC_DIRBITS)-1)
#define _VKI_IOC_NRSHIFT 0
#define _VKI_IOC_TYPESHIFT (_VKI_IOC_NRSHIFT+_VKI_IOC_NRBITS)
#define _VKI_IOC_SIZESHIFT (_VKI_IOC_TYPESHIFT+_VKI_IOC_TYPEBITS)
#define _VKI_IOC_DIRSHIFT (_VKI_IOC_SIZESHIFT+_VKI_IOC_SIZEBITS)
#define _VKI_IOC_NONE 0U
#define _VKI_IOC_WRITE 1U
#define _VKI_IOC_READ 2U
#define _VKI_IOC(dir,type,nr,size) \
(((dir) << _VKI_IOC_DIRSHIFT) | \
((type) << _VKI_IOC_TYPESHIFT) | \
((nr) << _VKI_IOC_NRSHIFT) | \
((size) << _VKI_IOC_SIZESHIFT))
#define _VKI_IO(type,nr) _VKI_IOC(_VKI_IOC_NONE,(type),(nr),0)
#define _VKI_IOR(type,nr,size) _VKI_IOC(_VKI_IOC_READ,(type),(nr),sizeof(size))
#define _VKI_IOW(type,nr,size) _VKI_IOC(_VKI_IOC_WRITE,(type),(nr),sizeof(size))
#define _VKI_IOWR(type,nr,size) _VKI_IOC(_VKI_IOC_READ|_VKI_IOC_WRITE,(type),(nr),sizeof(size))
#define _VKI_IOC_DIR(nr) (((nr) >> _VKI_IOC_DIRSHIFT) & _VKI_IOC_DIRMASK)
#define _VKI_IOC_SIZE(nr) (((nr) >> _VKI_IOC_SIZESHIFT) & _VKI_IOC_SIZEMASK)
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/ioctls.h
//----------------------------------------------------------------------
#define VKI_TCGETS 0x5401
#define VKI_TCSETS 0x5402
#define VKI_TCSETSW 0x5403
#define VKI_TCSETSF 0x5404
#define VKI_TCGETA 0x5405
#define VKI_TCSETA 0x5406
#define VKI_TCSETAW 0x5407
#define VKI_TCSETAF 0x5408
#define VKI_TCSBRK 0x5409
#define VKI_TCXONC 0x540A
#define VKI_TCFLSH 0x540B
#define VKI_TIOCSCTTY 0x540E
#define VKI_TIOCGPGRP 0x540F
#define VKI_TIOCSPGRP 0x5410
#define VKI_TIOCOUTQ 0x5411
#define VKI_TIOCGWINSZ 0x5413
#define VKI_TIOCSWINSZ 0x5414
#define VKI_TIOCMGET 0x5415
#define VKI_TIOCMBIS 0x5416
#define VKI_TIOCMBIC 0x5417
#define VKI_TIOCMSET 0x5418
#define VKI_FIONREAD 0x541B
#define VKI_TIOCLINUX 0x541C
#define VKI_FIONBIO 0x5421
#define VKI_TCSBRKP 0x5425 /* Needed for POSIX tcsendbreak() */
#define VKI_TIOCGPTN _VKI_IOR('T',0x30, unsigned int) /* Get Pty Number (of pty-mux device) */
#define VKI_TIOCSPTLCK _VKI_IOW('T',0x31, int) /* Lock/unlock Pty */
#define VKI_FIOASYNC 0x5452
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/poll.h
//----------------------------------------------------------------------
#define VKI_POLLIN 0x0001
struct vki_pollfd {
int fd;
short events;
short revents;
};
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/user.h
//----------------------------------------------------------------------
struct vki_user_i387_struct {
unsigned short cwd;
unsigned short swd;
unsigned short twd; /* Note this is not the same as the 32bit/x87/FSAVE twd */
unsigned short fop;
__vki_u64 rip;
__vki_u64 rdp;
__vki_u32 mxcsr;
__vki_u32 mxcsr_mask;
__vki_u32 st_space[32]; /* 8*16 bytes for each FP-reg = 128 bytes */
__vki_u32 xmm_space[64]; /* 16*16 bytes for each XMM-reg = 256 bytes */
__vki_u32 padding[24];
};
struct vki_user_regs_struct {
unsigned long r15,r14,r13,r12,rbp,rbx,r11,r10;
unsigned long r9,r8,rax,rcx,rdx,rsi,rdi,orig_rax;
unsigned long rip,cs,eflags;
unsigned long rsp,ss;
unsigned long fs_base, gs_base;
unsigned long ds,es,fs,gs;
};
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/elf.h
//----------------------------------------------------------------------
typedef unsigned long vki_elf_greg_t;
#define VKI_ELF_NGREG (sizeof (struct vki_user_regs_struct) / sizeof(vki_elf_greg_t))
typedef vki_elf_greg_t vki_elf_gregset_t[VKI_ELF_NGREG];
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/ucontext.h
//----------------------------------------------------------------------
struct vki_ucontext {
unsigned long uc_flags;
struct vki_ucontext *uc_link;
vki_stack_t uc_stack;
struct vki_sigcontext uc_mcontext;
vki_sigset_t uc_sigmask; /* mask last for extensibility */
};
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/segment.h
//----------------------------------------------------------------------
#define VKI_GDT_ENTRY_TLS_ENTRIES 3
#define VKI_GDT_ENTRY_TLS_MIN 11
#define VKI_GDT_ENTRY_TLS_MAX 13
//----------------------------------------------------------------------
// From linux-2.6.11.9/include/asm-x86_64/prctl.h
//----------------------------------------------------------------------
#define VKI_ARCH_SET_GS 0x1001
#define VKI_ARCH_SET_FS 0x1002
#define VKI_ARCH_GET_FS 0x1003
#define VKI_ARCH_GET_GS 0x1004
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/ldt.h
//----------------------------------------------------------------------
// I think this LDT stuff will have to be reinstated for amd64, but I'm not
// certain. (Nb: The sys_arch_prctl seems to have replaced
// [gs]et_thread_area syscalls.)
//
// Note that the type here is very slightly different to the
// type for x86 (the final 'lm' field is added); I'm not sure about the
// significance of that... --njn
#if 0
/* [[Nb: This is the structure passed to the modify_ldt syscall. Just so as
to confuse and annoy everyone, this is _not_ the same as an
VgLdtEntry and has to be translated into such. The logic for doing
so, in vg_ldt.c, is copied from the kernel sources.]] */
struct vki_user_desc {
unsigned int entry_number;
unsigned long base_addr;
unsigned int limit;
unsigned int seg_32bit:1;
unsigned int contents:2;
unsigned int read_exec_only:1;
unsigned int limit_in_pages:1;
unsigned int seg_not_present:1;
unsigned int useable:1;
unsigned int lm:1;
};
// [[Nb: for our convenience within Valgrind, use a more specific name]]
typedef struct vki_user_desc vki_modify_ldt_t;
#endif
typedef void vki_modify_ldt_t;
//----------------------------------------------------------------------
// From linux-2.6.11.2/include/asm-x86_64/ipcbuf.h
//----------------------------------------------------------------------
struct vki_ipc64_perm
{
__vki_kernel_key_t key;
__vki_kernel_uid32_t uid;
__vki_kernel_gid32_t gid;
__vki_kernel_uid32_t cuid;
__vki_kernel_gid32_t cgid;
__vki_kernel_mode_t mode;
unsigned short __pad1;
unsigned short seq;
unsigned short __pad2;
unsigned long __unused1;
unsigned long __unused2;
};
//----------------------------------------------------------------------
// From linux-2.6.11.2/include/asm-x86_64/sembuf.h
//----------------------------------------------------------------------
struct vki_semid64_ds {
struct vki_ipc64_perm sem_perm; /* permissions .. see ipc.h */
__vki_kernel_time_t sem_otime; /* last semop time */
unsigned long __unused1;
__vki_kernel_time_t sem_ctime; /* last change time */
unsigned long __unused2;
unsigned long sem_nsems; /* no. of semaphores in array */
unsigned long __unused3;
unsigned long __unused4;
};
//----------------------------------------------------------------------
// From linux-2.6.11.2/include/asm-x86_64/msgbuf.h
//----------------------------------------------------------------------
struct vki_msqid64_ds {
struct vki_ipc64_perm msg_perm;
__vki_kernel_time_t msg_stime; /* last msgsnd time */
__vki_kernel_time_t msg_rtime; /* last msgrcv time */
__vki_kernel_time_t msg_ctime; /* last change time */
unsigned long msg_cbytes; /* current number of bytes on queue */
unsigned long msg_qnum; /* number of messages in queue */
unsigned long msg_qbytes; /* max number of bytes on queue */
__vki_kernel_pid_t msg_lspid; /* pid of last msgsnd */
__vki_kernel_pid_t msg_lrpid; /* last receive pid */
unsigned long __unused4;
unsigned long __unused5;
};
//----------------------------------------------------------------------
// From linux-2.6.11.2/include/asm-x86_64/shmbuf.h
//----------------------------------------------------------------------
struct vki_shmid64_ds {
struct vki_ipc64_perm shm_perm; /* operation perms */
vki_size_t shm_segsz; /* size of segment (bytes) */
__vki_kernel_time_t shm_atime; /* last attach time */
__vki_kernel_time_t shm_dtime; /* last detach time */
__vki_kernel_time_t shm_ctime; /* last change time */
__vki_kernel_pid_t shm_cpid; /* pid of creator */
__vki_kernel_pid_t shm_lpid; /* pid of last operator */
unsigned long shm_nattch; /* no. of current attaches */
unsigned long __unused4;
unsigned long __unused5;
};
struct vki_shminfo64 {
unsigned long shmmax;
unsigned long shmmin;
unsigned long shmmni;
unsigned long shmseg;
unsigned long shmall;
unsigned long __unused1;
unsigned long __unused2;
unsigned long __unused3;
unsigned long __unused4;
};
//----------------------------------------------------------------------
// From linux-2.6.12.2/include/asm-x86_64/ptrace.h
//----------------------------------------------------------------------
#define VKI_PTRACE_GETREGS 12
#define VKI_PTRACE_SETREGS 13
#define VKI_PTRACE_GETFPREGS 14
#define VKI_PTRACE_SETFPREGS 15
//----------------------------------------------------------------------
// And that's it!
//----------------------------------------------------------------------
#endif // __VKI_AMD64_LINUX_H
/*--------------------------------------------------------------------*/
/*--- end ---*/
/*--------------------------------------------------------------------*/
Reference in New Issue View Git Blame Copy Permalink