• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 
2 /*--------------------------------------------------------------------*/
3 /*--- AMD64/Linux-specific kernel interface.     vki-amd64-linux.h ---*/
4 /*--------------------------------------------------------------------*/
5 
6 /*
7    This file is part of Valgrind, a dynamic binary instrumentation
8    framework.
9 
10    Copyright (C) 2000-2011 Julian Seward
11       jseward@acm.org
12 
13    This program is free software; you can redistribute it and/or
14    modify it under the terms of the GNU General Public License as
15    published by the Free Software Foundation; either version 2 of the
16    License, or (at your option) any later version.
17 
18    This program is distributed in the hope that it will be useful, but
19    WITHOUT ANY WARRANTY; without even the implied warranty of
20    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
21    General Public License for more details.
22 
23    You should have received a copy of the GNU General Public License
24    along with this program; if not, write to the Free Software
25    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
26    02111-1307, USA.
27 
28    The GNU General Public License is contained in the file COPYING.
29 */
30 
31 #ifndef __VKI_AMD64_LINUX_H
32 #define __VKI_AMD64_LINUX_H
33 
34 // AMD64 is little-endian.
35 #define VKI_LITTLE_ENDIAN  1
36 
37 //----------------------------------------------------------------------
38 // From linux-2.6.9/include/asm-x86_64/types.h
39 //----------------------------------------------------------------------
40 
41 typedef unsigned char __vki_u8;
42 
43 typedef __signed__ short __vki_s16;
44 typedef unsigned short __vki_u16;
45 
46 typedef __signed__ int __vki_s32;
47 typedef unsigned int __vki_u32;
48 
49 typedef __signed__ long long __vki_s64;
50 typedef unsigned long long __vki_u64;
51 
52 typedef unsigned short vki_u16;
53 
54 typedef unsigned int vki_u32;
55 
56 //----------------------------------------------------------------------
57 // From linux-2.6.9/include/asm-x86_64/page.h
58 //----------------------------------------------------------------------
59 
60 #define VKI_PAGE_SHIFT	12
61 #define VKI_PAGE_SIZE	(1UL << VKI_PAGE_SHIFT)
62 #define VKI_MAX_PAGE_SHIFT	VKI_PAGE_SHIFT
63 #define VKI_MAX_PAGE_SIZE	VKI_PAGE_SIZE
64 
65 //----------------------------------------------------------------------
66 // From linux-2.6.35.4/arch/x86/include/asm/shmparam.h
67 //----------------------------------------------------------------------
68 
69 #define VKI_SHMLBA  VKI_PAGE_SIZE
70 
71 //----------------------------------------------------------------------
72 // From linux-2.6.9/include/asm-x86_64/signal.h
73 //----------------------------------------------------------------------
74 
75 #define _VKI_NSIG	64
76 #define _VKI_NSIG_BPW	64
77 #define _VKI_NSIG_WORDS	(_VKI_NSIG / _VKI_NSIG_BPW)
78 
79 typedef unsigned long vki_old_sigset_t;		/* at least 32 bits */
80 
81 typedef struct {
82 	unsigned long sig[_VKI_NSIG_WORDS];
83 } vki_sigset_t;
84 
85 #define VKI_SIGHUP		 1
86 #define VKI_SIGINT		 2
87 #define VKI_SIGQUIT		 3
88 #define VKI_SIGILL		 4
89 #define VKI_SIGTRAP		 5
90 #define VKI_SIGABRT		 6
91 #define VKI_SIGBUS		 7
92 #define VKI_SIGFPE		 8
93 #define VKI_SIGKILL		 9
94 #define VKI_SIGUSR1		10
95 #define VKI_SIGSEGV		11
96 #define VKI_SIGUSR2		12
97 #define VKI_SIGPIPE		13
98 #define VKI_SIGALRM		14
99 #define VKI_SIGTERM		15
100 #define VKI_SIGSTKFLT		16
101 #define VKI_SIGCHLD		17
102 #define VKI_SIGCONT		18
103 #define VKI_SIGSTOP		19
104 #define VKI_SIGTSTP		20
105 #define VKI_SIGTTIN		21
106 #define VKI_SIGTTOU		22
107 #define VKI_SIGURG		23
108 #define VKI_SIGXCPU		24
109 #define VKI_SIGXFSZ		25
110 #define VKI_SIGVTALRM		26
111 #define VKI_SIGPROF		27
112 #define VKI_SIGWINCH		28
113 #define VKI_SIGIO		29
114 #define VKI_SIGPWR		30
115 #define VKI_SIGSYS		31
116 #define	VKI_SIGUNUSED		31
117 
118 #define VKI_SIGRTMIN		32
119 #define VKI_SIGRTMAX		_VKI_NSIG
120 
121 #define VKI_SA_NOCLDSTOP	0x00000001
122 #define VKI_SA_NOCLDWAIT	0x00000002
123 #define VKI_SA_SIGINFO		0x00000004
124 #define VKI_SA_ONSTACK		0x08000000
125 #define VKI_SA_RESTART		0x10000000
126 #define VKI_SA_NODEFER		0x40000000
127 #define VKI_SA_RESETHAND	0x80000000
128 
129 #define VKI_SA_NOMASK	VKI_SA_NODEFER
130 #define VKI_SA_ONESHOT	VKI_SA_RESETHAND
131 
132 #define VKI_SA_RESTORER	0x04000000
133 
134 #define VKI_SS_ONSTACK	1
135 #define VKI_SS_DISABLE	2
136 
137 #define VKI_MINSIGSTKSZ	2048
138 
139 #define VKI_SIG_BLOCK          0	/* for blocking signals */
140 #define VKI_SIG_UNBLOCK        1	/* for unblocking signals */
141 #define VKI_SIG_SETMASK        2	/* for setting the signal mask */
142 
143 typedef void __vki_signalfn_t(int);
144 typedef __vki_signalfn_t __user *__vki_sighandler_t;
145 
146 typedef void __vki_restorefn_t(void);
147 typedef __vki_restorefn_t __user *__vki_sigrestore_t;
148 
149 #define VKI_SIG_DFL	((__vki_sighandler_t)0)	/* default signal handling */
150 #define VKI_SIG_IGN	((__vki_sighandler_t)1)	/* ignore signal */
151 
152 struct vki_sigaction_base {
153         // [[Nb: a 'k' prefix is added to "sa_handler" because
154         // bits/sigaction.h (which gets dragged in somehow via signal.h)
155         // #defines it as something else.  Since that is done for glibc's
156         // purposes, which we don't care about here, we use our own name.]]
157 	__vki_sighandler_t ksa_handler;
158 	unsigned long sa_flags;
159 	__vki_sigrestore_t sa_restorer;
160 	vki_sigset_t sa_mask;		/* mask last for extensibility */
161 };
162 
163 /* On Linux we use the same type for passing sigactions to
164    and from the kernel.  Hence: */
165 typedef  struct vki_sigaction_base  vki_sigaction_toK_t;
166 typedef  struct vki_sigaction_base  vki_sigaction_fromK_t;
167 
168 
169 typedef struct vki_sigaltstack {
170 	void __user *ss_sp;
171 	int ss_flags;
172 	vki_size_t ss_size;
173 } vki_stack_t;
174 
175 //----------------------------------------------------------------------
176 // From linux-2.6.9/include/asm-x86_64/sigcontext.h
177 //----------------------------------------------------------------------
178 
179 struct _vki_fpstate {
180 	__vki_u16	cwd;
181 	__vki_u16	swd;
182 	__vki_u16	twd;	/* Note this is not the same as the 32bit/x87/FSAVE twd */
183 	__vki_u16	fop;
184 	__vki_u64	rip;
185 	__vki_u64	rdp;
186 	__vki_u32	mxcsr;
187 	__vki_u32	mxcsr_mask;
188 	__vki_u32	st_space[32];	/* 8*16 bytes for each FP-reg */
189 	__vki_u32	xmm_space[64];	/* 16*16 bytes for each XMM-reg  */
190 	__vki_u32	reserved2[24];
191 };
192 
193 struct vki_sigcontext {
194 	unsigned long r8;
195 	unsigned long r9;
196 	unsigned long r10;
197 	unsigned long r11;
198 	unsigned long r12;
199 	unsigned long r13;
200 	unsigned long r14;
201 	unsigned long r15;
202 	unsigned long rdi;
203 	unsigned long rsi;
204 	unsigned long rbp;
205 	unsigned long rbx;
206 	unsigned long rdx;
207 	unsigned long rax;
208 	unsigned long rcx;
209 	unsigned long rsp;
210 	unsigned long rip;
211 	unsigned long eflags;		/* RFLAGS */
212 	unsigned short cs;
213 	unsigned short gs;
214 	unsigned short fs;
215 	unsigned short __pad0;
216 	unsigned long err;
217 	unsigned long trapno;
218 	unsigned long oldmask;
219 	unsigned long cr2;
220 	struct _vki_fpstate __user *fpstate;	/* zero when no FPU context */
221 	unsigned long reserved1[8];
222 };
223 
224 //----------------------------------------------------------------------
225 // From linux-2.6.9/include/asm-x86_64/mman.h
226 //----------------------------------------------------------------------
227 
228 #define VKI_PROT_READ	0x1		/* page can be read */
229 #define VKI_PROT_WRITE	0x2		/* page can be written */
230 #define VKI_PROT_EXEC	0x4		/* page can be executed */
231 #define VKI_PROT_NONE	0x0		/* page can not be accessed */
232 #define VKI_PROT_GROWSDOWN	0x01000000	/* mprotect flag: extend change to start of growsdown vma */
233 #define VKI_PROT_GROWSUP	0x02000000	/* mprotect flag: extend change to end of growsup vma */
234 
235 #define VKI_MAP_SHARED	0x01		/* Share changes */
236 #define VKI_MAP_PRIVATE	0x02		/* Changes are private */
237 #define VKI_MAP_FIXED	0x10		/* Interpret addr exactly */
238 #define VKI_MAP_ANONYMOUS	0x20	/* don't use a file */
239 #define VKI_MAP_NORESERVE       0x4000  /* don't check for reservations */
240 
241 //----------------------------------------------------------------------
242 // From linux-2.6.9/include/asm-x86_64/fcntl.h
243 //----------------------------------------------------------------------
244 
245 #define VKI_O_RDONLY	     00
246 #define VKI_O_WRONLY	     01
247 #define VKI_O_RDWR	     02
248 #define VKI_O_CREAT	   0100	/* not fcntl */
249 #define VKI_O_EXCL	   0200	/* not fcntl */
250 #define VKI_O_TRUNC	  01000	/* not fcntl */
251 #define VKI_O_APPEND	  02000
252 #define VKI_O_NONBLOCK	  04000
253 #define VKI_O_LARGEFILE	0100000
254 
255 #define VKI_AT_FDCWD            -100
256 
257 #define VKI_F_DUPFD		0	/* dup */
258 #define VKI_F_GETFD		1	/* get close_on_exec */
259 #define VKI_F_SETFD		2	/* set/clear close_on_exec */
260 #define VKI_F_GETFL		3	/* get file->f_flags */
261 #define VKI_F_SETFL		4	/* set file->f_flags */
262 #define VKI_F_GETLK		5
263 #define VKI_F_SETLK		6
264 #define VKI_F_SETLKW		7
265 
266 #define VKI_F_SETOWN		8	/*  for sockets. */
267 #define VKI_F_GETOWN		9	/*  for sockets. */
268 #define VKI_F_SETSIG		10	/*  for sockets. */
269 #define VKI_F_GETSIG		11	/*  for sockets. */
270 
271 #define VKI_FD_CLOEXEC	1	/* actually anything with low bit set goes */
272 
273 #define VKI_F_LINUX_SPECIFIC_BASE	1024
274 
275 //----------------------------------------------------------------------
276 // From linux-2.6.9/include/asm-x86_64/resource.h
277 //----------------------------------------------------------------------
278 
279 #define VKI_RLIMIT_DATA		2	/* max data size */
280 #define VKI_RLIMIT_STACK	3	/* max stack size */
281 #define VKI_RLIMIT_CORE		4	/* max core file size */
282 #define VKI_RLIMIT_NOFILE	7	/* max number of open files */
283 
284 //----------------------------------------------------------------------
285 // From linux-2.6.9/include/asm-x86_64/socket.h
286 //----------------------------------------------------------------------
287 
288 #define VKI_SOL_SOCKET	1
289 
290 #define VKI_SO_TYPE	3
291 
292 //----------------------------------------------------------------------
293 // From linux-2.6.9/include/asm-x86_64/sockios.h
294 //----------------------------------------------------------------------
295 
296 #define VKI_SIOCSPGRP		0x8902
297 #define VKI_SIOCGPGRP		0x8904
298 #define VKI_SIOCGSTAMP		0x8906		/* Get stamp (timeval) */
299 #define VKI_SIOCGSTAMPNS	0x8907		/* Get stamp (timespec) */
300 
301 //----------------------------------------------------------------------
302 // From linux-2.6.9/include/asm-x86_64/stat.h
303 //----------------------------------------------------------------------
304 
305 struct vki_stat {
306 	unsigned long	st_dev;
307 	unsigned long	st_ino;
308 	unsigned long	st_nlink;
309 
310 	unsigned int	st_mode;
311 	unsigned int	st_uid;
312 	unsigned int	st_gid;
313 	unsigned int	__pad0;
314 	unsigned long	st_rdev;
315 	long		st_size;
316 	long		st_blksize;
317 	long		st_blocks;	/* Number 512-byte blocks allocated. */
318 
319 	unsigned long	st_atime;
320 	unsigned long 	st_atime_nsec;
321 	unsigned long	st_mtime;
322 	unsigned long	st_mtime_nsec;
323 	unsigned long	st_ctime;
324 	unsigned long   st_ctime_nsec;
325   	long		__unused[3];
326 };
327 
328 //----------------------------------------------------------------------
329 // From linux-2.6.9/include/asm-x86_64/statfs.h
330 //----------------------------------------------------------------------
331 
332 struct vki_statfs {
333 	long f_type;
334 	long f_bsize;
335 	long f_blocks;
336 	long f_bfree;
337 	long f_bavail;
338 	long f_files;
339 	long f_ffree;
340 	__vki_kernel_fsid_t f_fsid;
341 	long f_namelen;
342 	long f_frsize;
343 	long f_spare[5];
344 };
345 
346 //----------------------------------------------------------------------
347 // From linux-2.6.9/include/asm-x86_64/termios.h
348 //----------------------------------------------------------------------
349 
350 struct vki_winsize {
351 	unsigned short ws_row;
352 	unsigned short ws_col;
353 	unsigned short ws_xpixel;
354 	unsigned short ws_ypixel;
355 };
356 
357 #define VKI_NCC 8
358 struct vki_termio {
359 	unsigned short c_iflag;		/* input mode flags */
360 	unsigned short c_oflag;		/* output mode flags */
361 	unsigned short c_cflag;		/* control mode flags */
362 	unsigned short c_lflag;		/* local mode flags */
363 	unsigned char c_line;		/* line discipline */
364 	unsigned char c_cc[VKI_NCC];	/* control characters */
365 };
366 
367 //----------------------------------------------------------------------
368 // From linux-2.6.9/include/asm-x86_64/termbits.h
369 //----------------------------------------------------------------------
370 
371 typedef unsigned char	vki_cc_t;
372 typedef unsigned int	vki_tcflag_t;
373 
374 #define VKI_NCCS 19
375 struct vki_termios {
376 	vki_tcflag_t c_iflag;		/* input mode flags */
377 	vki_tcflag_t c_oflag;		/* output mode flags */
378 	vki_tcflag_t c_cflag;		/* control mode flags */
379 	vki_tcflag_t c_lflag;		/* local mode flags */
380 	vki_cc_t c_line;		/* line discipline */
381 	vki_cc_t c_cc[VKI_NCCS];	/* control characters */
382 };
383 
384 
385 //----------------------------------------------------------------------
386 // From linux-2.6.9/include/asm-x86_64/ioctl.h
387 //----------------------------------------------------------------------
388 
389 #define _VKI_IOC_NRBITS		8
390 #define _VKI_IOC_TYPEBITS	8
391 #define _VKI_IOC_SIZEBITS	14
392 #define _VKI_IOC_DIRBITS	2
393 
394 #define _VKI_IOC_SIZEMASK	((1 << _VKI_IOC_SIZEBITS)-1)
395 #define _VKI_IOC_DIRMASK	((1 << _VKI_IOC_DIRBITS)-1)
396 
397 #define _VKI_IOC_NRSHIFT	0
398 #define _VKI_IOC_TYPESHIFT	(_VKI_IOC_NRSHIFT+_VKI_IOC_NRBITS)
399 #define _VKI_IOC_SIZESHIFT	(_VKI_IOC_TYPESHIFT+_VKI_IOC_TYPEBITS)
400 #define _VKI_IOC_DIRSHIFT	(_VKI_IOC_SIZESHIFT+_VKI_IOC_SIZEBITS)
401 
402 #define _VKI_IOC_NONE	0U
403 #define _VKI_IOC_WRITE	1U
404 #define _VKI_IOC_READ	2U
405 
406 #define _VKI_IOC(dir,type,nr,size) \
407 	(((dir)  << _VKI_IOC_DIRSHIFT) | \
408 	 ((type) << _VKI_IOC_TYPESHIFT) | \
409 	 ((nr)   << _VKI_IOC_NRSHIFT) | \
410 	 ((size) << _VKI_IOC_SIZESHIFT))
411 
412 #define _VKI_IO(type,nr)		_VKI_IOC(_VKI_IOC_NONE,(type),(nr),0)
413 #define _VKI_IOR(type,nr,size)	_VKI_IOC(_VKI_IOC_READ,(type),(nr),sizeof(size))
414 #define _VKI_IOW(type,nr,size)	_VKI_IOC(_VKI_IOC_WRITE,(type),(nr),sizeof(size))
415 #define _VKI_IOWR(type,nr,size)	_VKI_IOC(_VKI_IOC_READ|_VKI_IOC_WRITE,(type),(nr),sizeof(size))
416 
417 #define _VKI_IOC_DIR(nr)		(((nr) >> _VKI_IOC_DIRSHIFT) & _VKI_IOC_DIRMASK)
418 #define _VKI_IOC_SIZE(nr)		(((nr) >> _VKI_IOC_SIZESHIFT) & _VKI_IOC_SIZEMASK)
419 
420 //----------------------------------------------------------------------
421 // From linux-2.6.9/include/asm-x86_64/ioctls.h
422 //----------------------------------------------------------------------
423 
424 #define VKI_TCGETS	0x5401
425 #define VKI_TCSETS	0x5402
426 #define VKI_TCSETSW	0x5403
427 #define VKI_TCSETSF	0x5404
428 #define VKI_TCGETA	0x5405
429 #define VKI_TCSETA	0x5406
430 #define VKI_TCSETAW	0x5407
431 #define VKI_TCSETAF	0x5408
432 #define VKI_TCSBRK	0x5409
433 #define VKI_TCXONC	0x540A
434 #define VKI_TCFLSH	0x540B
435 #define VKI_TIOCSCTTY	0x540E
436 #define VKI_TIOCGPGRP	0x540F
437 #define VKI_TIOCSPGRP	0x5410
438 #define VKI_TIOCOUTQ	0x5411
439 #define VKI_TIOCGWINSZ	0x5413
440 #define VKI_TIOCSWINSZ	0x5414
441 #define VKI_TIOCMGET	0x5415
442 #define VKI_TIOCMBIS	0x5416
443 #define VKI_TIOCMBIC	0x5417
444 #define VKI_TIOCMSET	0x5418
445 #define VKI_FIONREAD	0x541B
446 #define VKI_TIOCLINUX	0x541C
447 #define VKI_FIONBIO	0x5421
448 #define VKI_TCSBRKP	0x5425	/* Needed for POSIX tcsendbreak() */
449 #define VKI_TIOCGPTN	_VKI_IOR('T',0x30, unsigned int) /* Get Pty Number (of pty-mux device) */
450 #define VKI_TIOCSPTLCK	_VKI_IOW('T',0x31, int)  /* Lock/unlock Pty */
451 
452 #define VKI_FIOASYNC	0x5452
453 #define VKI_TIOCSERGETLSR   0x5459 /* Get line status register */
454 
455 #define VKI_TIOCGICOUNT	0x545D	/* read serial port inline interrupt counts */
456 
457 //----------------------------------------------------------------------
458 // From linux-2.6.9/include/asm-x86_64/poll.h
459 //----------------------------------------------------------------------
460 
461 #define VKI_POLLIN		0x0001
462 
463 struct vki_pollfd {
464 	int fd;
465 	short events;
466 	short revents;
467 };
468 
469 //----------------------------------------------------------------------
470 // From linux-2.6.9/include/asm-x86_64/user.h
471 //----------------------------------------------------------------------
472 
473 struct vki_user_i387_struct {
474 	unsigned short	cwd;
475 	unsigned short	swd;
476 	unsigned short	twd; /* Note this is not the same as the 32bit/x87/FSAVE twd */
477 	unsigned short	fop;
478 	__vki_u64	rip;
479 	__vki_u64	rdp;
480 	__vki_u32	mxcsr;
481 	__vki_u32	mxcsr_mask;
482 	__vki_u32	st_space[32];	/* 8*16 bytes for each FP-reg = 128 bytes */
483 	__vki_u32	xmm_space[64];	/* 16*16 bytes for each XMM-reg = 256 bytes */
484 	__vki_u32	padding[24];
485 };
486 
487 struct vki_user_regs_struct {
488 	unsigned long r15,r14,r13,r12,rbp,rbx,r11,r10;
489 	unsigned long r9,r8,rax,rcx,rdx,rsi,rdi,orig_rax;
490 	unsigned long rip,cs,eflags;
491 	unsigned long rsp,ss;
492   	unsigned long fs_base, gs_base;
493 	unsigned long ds,es,fs,gs;
494 };
495 
496 //----------------------------------------------------------------------
497 // From linux-2.6.9/include/asm-x86_64/elf.h
498 //----------------------------------------------------------------------
499 
500 typedef unsigned long vki_elf_greg_t;
501 
502 #define VKI_ELF_NGREG (sizeof (struct vki_user_regs_struct) / sizeof(vki_elf_greg_t))
503 typedef vki_elf_greg_t vki_elf_gregset_t[VKI_ELF_NGREG];
504 
505 typedef struct vki_user_i387_struct vki_elf_fpregset_t;
506 
507 //----------------------------------------------------------------------
508 // From linux-2.6.9/include/asm-x86_64/ucontext.h
509 //----------------------------------------------------------------------
510 
511 struct vki_ucontext {
512 	unsigned long		uc_flags;
513 	struct vki_ucontext    *uc_link;
514 	vki_stack_t		uc_stack;
515 	struct vki_sigcontext	uc_mcontext;
516 	vki_sigset_t		uc_sigmask;	/* mask last for extensibility */
517 };
518 
519 //----------------------------------------------------------------------
520 // From linux-2.6.9/include/asm-x86_64/segment.h
521 //----------------------------------------------------------------------
522 
523 #define VKI_GDT_ENTRY_TLS_ENTRIES 3
524 
525 #define VKI_GDT_ENTRY_TLS_MIN 11
526 #define VKI_GDT_ENTRY_TLS_MAX 13
527 
528 //----------------------------------------------------------------------
529 // From linux-2.6.11.9/include/asm-x86_64/prctl.h
530 //----------------------------------------------------------------------
531 
532 #define VKI_ARCH_SET_GS 0x1001
533 #define VKI_ARCH_SET_FS 0x1002
534 #define VKI_ARCH_GET_FS 0x1003
535 #define VKI_ARCH_GET_GS 0x1004
536 
537 //----------------------------------------------------------------------
538 // From linux-2.6.9/include/asm-x86_64/ldt.h
539 //----------------------------------------------------------------------
540 
541 // I think this LDT stuff will have to be reinstated for amd64, but I'm not
542 // certain.  (Nb: The sys_arch_prctl seems to have replaced
543 // [gs]et_thread_area syscalls.)
544 //
545 // Note that the type here is very slightly different to the
546 // type for x86 (the final 'lm' field is added);  I'm not sure about the
547 // significance of that... --njn
548 
549 #if 0
550 /* [[Nb: This is the structure passed to the modify_ldt syscall.  Just so as
551    to confuse and annoy everyone, this is _not_ the same as an
552    VgLdtEntry and has to be translated into such.  The logic for doing
553    so, in vg_ldt.c, is copied from the kernel sources.]] */
554 struct vki_user_desc {
555 	unsigned int  entry_number;
556 	unsigned long base_addr;
557 	unsigned int  limit;
558 	unsigned int  seg_32bit:1;
559 	unsigned int  contents:2;
560 	unsigned int  read_exec_only:1;
561 	unsigned int  limit_in_pages:1;
562 	unsigned int  seg_not_present:1;
563 	unsigned int  useable:1;
564         unsigned int  lm:1;
565 };
566 
567 // [[Nb: for our convenience within Valgrind, use a more specific name]]
568 typedef struct vki_user_desc vki_modify_ldt_t;
569 #endif
570 
571 typedef void vki_modify_ldt_t;
572 
573 //----------------------------------------------------------------------
574 // From linux-2.6.11.2/include/asm-x86_64/ipcbuf.h
575 //----------------------------------------------------------------------
576 
577 struct vki_ipc64_perm
578 {
579 	__vki_kernel_key_t	key;
580 	__vki_kernel_uid32_t	uid;
581 	__vki_kernel_gid32_t	gid;
582 	__vki_kernel_uid32_t	cuid;
583 	__vki_kernel_gid32_t	cgid;
584 	__vki_kernel_mode_t	mode;
585 	unsigned short		__pad1;
586 	unsigned short		seq;
587 	unsigned short		__pad2;
588 	unsigned long		__unused1;
589 	unsigned long		__unused2;
590 };
591 
592 //----------------------------------------------------------------------
593 // From linux-2.6.11.2/include/asm-x86_64/sembuf.h
594 //----------------------------------------------------------------------
595 
596 struct vki_semid64_ds {
597 	struct vki_ipc64_perm sem_perm;		/* permissions .. see ipc.h */
598 	__vki_kernel_time_t	sem_otime;		/* last semop time */
599 	unsigned long	__unused1;
600 	__vki_kernel_time_t	sem_ctime;		/* last change time */
601 	unsigned long	__unused2;
602 	unsigned long	sem_nsems;		/* no. of semaphores in array */
603 	unsigned long	__unused3;
604 	unsigned long	__unused4;
605 };
606 
607 //----------------------------------------------------------------------
608 // From linux-2.6.11.2/include/asm-x86_64/msgbuf.h
609 //----------------------------------------------------------------------
610 
611 struct vki_msqid64_ds {
612 	struct vki_ipc64_perm msg_perm;
613 	__vki_kernel_time_t msg_stime;	/* last msgsnd time */
614 	__vki_kernel_time_t msg_rtime;	/* last msgrcv time */
615 	__vki_kernel_time_t msg_ctime;	/* last change time */
616 	unsigned long  msg_cbytes;	/* current number of bytes on queue */
617 	unsigned long  msg_qnum;	/* number of messages in queue */
618 	unsigned long  msg_qbytes;	/* max number of bytes on queue */
619 	__vki_kernel_pid_t msg_lspid;	/* pid of last msgsnd */
620 	__vki_kernel_pid_t msg_lrpid;	/* last receive pid */
621 	unsigned long  __unused4;
622 	unsigned long  __unused5;
623 };
624 
625 //----------------------------------------------------------------------
626 // From linux-2.6.11.2/include/asm-x86_64/shmbuf.h
627 //----------------------------------------------------------------------
628 
629 struct vki_shmid64_ds {
630 	struct vki_ipc64_perm	shm_perm;	/* operation perms */
631 	vki_size_t		shm_segsz;	/* size of segment (bytes) */
632 	__vki_kernel_time_t	shm_atime;	/* last attach time */
633 	__vki_kernel_time_t	shm_dtime;	/* last detach time */
634 	__vki_kernel_time_t	shm_ctime;	/* last change time */
635 	__vki_kernel_pid_t	shm_cpid;	/* pid of creator */
636 	__vki_kernel_pid_t	shm_lpid;	/* pid of last operator */
637 	unsigned long		shm_nattch;	/* no. of current attaches */
638 	unsigned long		__unused4;
639 	unsigned long		__unused5;
640 };
641 
642 struct vki_shminfo64 {
643 	unsigned long	shmmax;
644 	unsigned long	shmmin;
645 	unsigned long	shmmni;
646 	unsigned long	shmseg;
647 	unsigned long	shmall;
648 	unsigned long	__unused1;
649 	unsigned long	__unused2;
650 	unsigned long	__unused3;
651 	unsigned long	__unused4;
652 };
653 
654 //----------------------------------------------------------------------
655 // From linux-2.6.12.2/include/asm-x86_64/ptrace.h
656 //----------------------------------------------------------------------
657 
658 #define VKI_PTRACE_GETREGS            12
659 #define VKI_PTRACE_SETREGS            13
660 #define VKI_PTRACE_GETFPREGS          14
661 #define VKI_PTRACE_SETFPREGS          15
662 
663 //----------------------------------------------------------------------
664 // And that's it!
665 //----------------------------------------------------------------------
666 
667 #endif // __VKI_AMD64_LINUX_H
668 
669 /*--------------------------------------------------------------------*/
670 /*--- end                                                          ---*/
671 /*--------------------------------------------------------------------*/
672