• 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-2012 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_F_SETOWN_EX		15
272 #define VKI_F_GETOWN_EX		16
273 
274 #define VKI_F_OWNER_TID		0
275 #define VKI_F_OWNER_PID		1
276 #define VKI_F_OWNER_PGRP	2
277 
278 struct vki_f_owner_ex {
279 	int	type;
280 	__vki_kernel_pid_t	pid;
281 };
282 
283 #define VKI_FD_CLOEXEC	1	/* actually anything with low bit set goes */
284 
285 #define VKI_F_LINUX_SPECIFIC_BASE	1024
286 
287 //----------------------------------------------------------------------
288 // From linux-2.6.9/include/asm-x86_64/resource.h
289 //----------------------------------------------------------------------
290 
291 #define VKI_RLIMIT_DATA		2	/* max data size */
292 #define VKI_RLIMIT_STACK	3	/* max stack size */
293 #define VKI_RLIMIT_CORE		4	/* max core file size */
294 #define VKI_RLIMIT_NOFILE	7	/* max number of open files */
295 
296 //----------------------------------------------------------------------
297 // From linux-2.6.9/include/asm-x86_64/socket.h
298 //----------------------------------------------------------------------
299 
300 #define VKI_SOL_SOCKET	1
301 
302 #define VKI_SO_TYPE	3
303 
304 //----------------------------------------------------------------------
305 // From linux-2.6.9/include/asm-x86_64/sockios.h
306 //----------------------------------------------------------------------
307 
308 #define VKI_SIOCSPGRP		0x8902
309 #define VKI_SIOCGPGRP		0x8904
310 #define VKI_SIOCGSTAMP		0x8906		/* Get stamp (timeval) */
311 #define VKI_SIOCGSTAMPNS	0x8907		/* Get stamp (timespec) */
312 
313 //----------------------------------------------------------------------
314 // From linux-2.6.9/include/asm-x86_64/stat.h
315 //----------------------------------------------------------------------
316 
317 struct vki_stat {
318 	unsigned long	st_dev;
319 	unsigned long	st_ino;
320 	unsigned long	st_nlink;
321 
322 	unsigned int	st_mode;
323 	unsigned int	st_uid;
324 	unsigned int	st_gid;
325 	unsigned int	__pad0;
326 	unsigned long	st_rdev;
327 	long		st_size;
328 	long		st_blksize;
329 	long		st_blocks;	/* Number 512-byte blocks allocated. */
330 
331 	unsigned long	st_atime;
332 	unsigned long 	st_atime_nsec;
333 	unsigned long	st_mtime;
334 	unsigned long	st_mtime_nsec;
335 	unsigned long	st_ctime;
336 	unsigned long   st_ctime_nsec;
337   	long		__unused[3];
338 };
339 
340 //----------------------------------------------------------------------
341 // From linux-2.6.9/include/asm-x86_64/statfs.h
342 //----------------------------------------------------------------------
343 
344 struct vki_statfs {
345 	long f_type;
346 	long f_bsize;
347 	long f_blocks;
348 	long f_bfree;
349 	long f_bavail;
350 	long f_files;
351 	long f_ffree;
352 	__vki_kernel_fsid_t f_fsid;
353 	long f_namelen;
354 	long f_frsize;
355 	long f_spare[5];
356 };
357 
358 //----------------------------------------------------------------------
359 // From linux-2.6.9/include/asm-x86_64/termios.h
360 //----------------------------------------------------------------------
361 
362 struct vki_winsize {
363 	unsigned short ws_row;
364 	unsigned short ws_col;
365 	unsigned short ws_xpixel;
366 	unsigned short ws_ypixel;
367 };
368 
369 #define VKI_NCC 8
370 struct vki_termio {
371 	unsigned short c_iflag;		/* input mode flags */
372 	unsigned short c_oflag;		/* output mode flags */
373 	unsigned short c_cflag;		/* control mode flags */
374 	unsigned short c_lflag;		/* local mode flags */
375 	unsigned char c_line;		/* line discipline */
376 	unsigned char c_cc[VKI_NCC];	/* control characters */
377 };
378 
379 //----------------------------------------------------------------------
380 // From linux-2.6.9/include/asm-x86_64/termbits.h
381 //----------------------------------------------------------------------
382 
383 typedef unsigned char	vki_cc_t;
384 typedef unsigned int	vki_tcflag_t;
385 
386 #define VKI_NCCS 19
387 struct vki_termios {
388 	vki_tcflag_t c_iflag;		/* input mode flags */
389 	vki_tcflag_t c_oflag;		/* output mode flags */
390 	vki_tcflag_t c_cflag;		/* control mode flags */
391 	vki_tcflag_t c_lflag;		/* local mode flags */
392 	vki_cc_t c_line;		/* line discipline */
393 	vki_cc_t c_cc[VKI_NCCS];	/* control characters */
394 };
395 
396 
397 //----------------------------------------------------------------------
398 // From linux-2.6.9/include/asm-x86_64/ioctl.h
399 //----------------------------------------------------------------------
400 
401 #define _VKI_IOC_NRBITS		8
402 #define _VKI_IOC_TYPEBITS	8
403 #define _VKI_IOC_SIZEBITS	14
404 #define _VKI_IOC_DIRBITS	2
405 
406 #define _VKI_IOC_SIZEMASK	((1 << _VKI_IOC_SIZEBITS)-1)
407 #define _VKI_IOC_DIRMASK	((1 << _VKI_IOC_DIRBITS)-1)
408 
409 #define _VKI_IOC_NRSHIFT	0
410 #define _VKI_IOC_TYPESHIFT	(_VKI_IOC_NRSHIFT+_VKI_IOC_NRBITS)
411 #define _VKI_IOC_SIZESHIFT	(_VKI_IOC_TYPESHIFT+_VKI_IOC_TYPEBITS)
412 #define _VKI_IOC_DIRSHIFT	(_VKI_IOC_SIZESHIFT+_VKI_IOC_SIZEBITS)
413 
414 #define _VKI_IOC_NONE	0U
415 #define _VKI_IOC_WRITE	1U
416 #define _VKI_IOC_READ	2U
417 
418 #define _VKI_IOC(dir,type,nr,size) \
419 	(((dir)  << _VKI_IOC_DIRSHIFT) | \
420 	 ((type) << _VKI_IOC_TYPESHIFT) | \
421 	 ((nr)   << _VKI_IOC_NRSHIFT) | \
422 	 ((size) << _VKI_IOC_SIZESHIFT))
423 
424 #define _VKI_IO(type,nr)		_VKI_IOC(_VKI_IOC_NONE,(type),(nr),0)
425 #define _VKI_IOR(type,nr,size)	_VKI_IOC(_VKI_IOC_READ,(type),(nr),sizeof(size))
426 #define _VKI_IOW(type,nr,size)	_VKI_IOC(_VKI_IOC_WRITE,(type),(nr),sizeof(size))
427 #define _VKI_IOWR(type,nr,size)	_VKI_IOC(_VKI_IOC_READ|_VKI_IOC_WRITE,(type),(nr),sizeof(size))
428 
429 #define _VKI_IOC_DIR(nr)		(((nr) >> _VKI_IOC_DIRSHIFT) & _VKI_IOC_DIRMASK)
430 #define _VKI_IOC_SIZE(nr)		(((nr) >> _VKI_IOC_SIZESHIFT) & _VKI_IOC_SIZEMASK)
431 
432 //----------------------------------------------------------------------
433 // From linux-2.6.9/include/asm-x86_64/ioctls.h
434 //----------------------------------------------------------------------
435 
436 #define VKI_TCGETS	0x5401
437 #define VKI_TCSETS	0x5402
438 #define VKI_TCSETSW	0x5403
439 #define VKI_TCSETSF	0x5404
440 #define VKI_TCGETA	0x5405
441 #define VKI_TCSETA	0x5406
442 #define VKI_TCSETAW	0x5407
443 #define VKI_TCSETAF	0x5408
444 #define VKI_TCSBRK	0x5409
445 #define VKI_TCXONC	0x540A
446 #define VKI_TCFLSH	0x540B
447 #define VKI_TIOCSCTTY	0x540E
448 #define VKI_TIOCGPGRP	0x540F
449 #define VKI_TIOCSPGRP	0x5410
450 #define VKI_TIOCOUTQ	0x5411
451 #define VKI_TIOCGWINSZ	0x5413
452 #define VKI_TIOCSWINSZ	0x5414
453 #define VKI_TIOCMGET	0x5415
454 #define VKI_TIOCMBIS	0x5416
455 #define VKI_TIOCMBIC	0x5417
456 #define VKI_TIOCMSET	0x5418
457 #define VKI_FIONREAD	0x541B
458 #define VKI_TIOCLINUX	0x541C
459 #define VKI_FIONBIO	0x5421
460 #define VKI_TCSBRKP	0x5425	/* Needed for POSIX tcsendbreak() */
461 #define VKI_TIOCGPTN	_VKI_IOR('T',0x30, unsigned int) /* Get Pty Number (of pty-mux device) */
462 #define VKI_TIOCSPTLCK	_VKI_IOW('T',0x31, int)  /* Lock/unlock Pty */
463 
464 #define VKI_FIOASYNC	0x5452
465 #define VKI_TIOCSERGETLSR   0x5459 /* Get line status register */
466 
467 #define VKI_TIOCGICOUNT	0x545D	/* read serial port inline interrupt counts */
468 
469 //----------------------------------------------------------------------
470 // From linux-2.6.9/include/asm-x86_64/poll.h
471 //----------------------------------------------------------------------
472 
473 #define VKI_POLLIN		0x0001
474 
475 struct vki_pollfd {
476 	int fd;
477 	short events;
478 	short revents;
479 };
480 
481 //----------------------------------------------------------------------
482 // From linux-2.6.9/include/asm-x86_64/user.h
483 //----------------------------------------------------------------------
484 
485 struct vki_user_i387_struct {
486 	unsigned short	cwd;
487 	unsigned short	swd;
488 	unsigned short	twd; /* Note this is not the same as the 32bit/x87/FSAVE twd */
489 	unsigned short	fop;
490 	__vki_u64	rip;
491 	__vki_u64	rdp;
492 	__vki_u32	mxcsr;
493 	__vki_u32	mxcsr_mask;
494 	__vki_u32	st_space[32];	/* 8*16 bytes for each FP-reg = 128 bytes */
495 	__vki_u32	xmm_space[64];	/* 16*16 bytes for each XMM-reg = 256 bytes */
496 	__vki_u32	padding[24];
497 };
498 
499 struct vki_user_regs_struct {
500 	unsigned long r15,r14,r13,r12,rbp,rbx,r11,r10;
501 	unsigned long r9,r8,rax,rcx,rdx,rsi,rdi,orig_rax;
502 	unsigned long rip,cs,eflags;
503 	unsigned long rsp,ss;
504   	unsigned long fs_base, gs_base;
505 	unsigned long ds,es,fs,gs;
506 };
507 
508 //----------------------------------------------------------------------
509 // From linux-2.6.9/include/asm-x86_64/elf.h
510 //----------------------------------------------------------------------
511 
512 typedef unsigned long vki_elf_greg_t;
513 
514 #define VKI_ELF_NGREG (sizeof (struct vki_user_regs_struct) / sizeof(vki_elf_greg_t))
515 typedef vki_elf_greg_t vki_elf_gregset_t[VKI_ELF_NGREG];
516 
517 typedef struct vki_user_i387_struct vki_elf_fpregset_t;
518 
519 //----------------------------------------------------------------------
520 // From linux-2.6.9/include/asm-x86_64/ucontext.h
521 //----------------------------------------------------------------------
522 
523 struct vki_ucontext {
524 	unsigned long		uc_flags;
525 	struct vki_ucontext    *uc_link;
526 	vki_stack_t		uc_stack;
527 	struct vki_sigcontext	uc_mcontext;
528 	vki_sigset_t		uc_sigmask;	/* mask last for extensibility */
529 };
530 
531 //----------------------------------------------------------------------
532 // From linux-2.6.9/include/asm-x86_64/segment.h
533 //----------------------------------------------------------------------
534 
535 #define VKI_GDT_ENTRY_TLS_ENTRIES 3
536 
537 #define VKI_GDT_ENTRY_TLS_MIN 11
538 #define VKI_GDT_ENTRY_TLS_MAX 13
539 
540 //----------------------------------------------------------------------
541 // From linux-2.6.11.9/include/asm-x86_64/prctl.h
542 //----------------------------------------------------------------------
543 
544 #define VKI_ARCH_SET_GS 0x1001
545 #define VKI_ARCH_SET_FS 0x1002
546 #define VKI_ARCH_GET_FS 0x1003
547 #define VKI_ARCH_GET_GS 0x1004
548 
549 //----------------------------------------------------------------------
550 // From linux-2.6.9/include/asm-x86_64/ldt.h
551 //----------------------------------------------------------------------
552 
553 // I think this LDT stuff will have to be reinstated for amd64, but I'm not
554 // certain.  (Nb: The sys_arch_prctl seems to have replaced
555 // [gs]et_thread_area syscalls.)
556 //
557 // Note that the type here is very slightly different to the
558 // type for x86 (the final 'lm' field is added);  I'm not sure about the
559 // significance of that... --njn
560 
561 /* [[Nb: This is the structure passed to the modify_ldt syscall.  Just so as
562    to confuse and annoy everyone, this is _not_ the same as an
563    VgLdtEntry and has to be translated into such.  The logic for doing
564    so, in vg_ldt.c, is copied from the kernel sources.]] */
565 /* Note also that a comment in ldt.h indicates that the below
566    contains several fields ignored on 64bit, and that modify_ldt
567    is rather for 32bit. */
568 struct vki_user_desc {
569 	unsigned int  entry_number;
570 	unsigned long base_addr;
571 	unsigned int  limit;
572 	unsigned int  seg_32bit:1;
573 	unsigned int  contents:2;
574 	unsigned int  read_exec_only:1;
575 	unsigned int  limit_in_pages:1;
576 	unsigned int  seg_not_present:1;
577 	unsigned int  useable:1;
578         unsigned int  lm:1;
579 };
580 
581 // [[Nb: for our convenience within Valgrind, use a more specific name]]
582 typedef struct vki_user_desc vki_modify_ldt_t;
583 
584 //----------------------------------------------------------------------
585 // From linux-2.6.11.2/include/asm-x86_64/ipcbuf.h
586 //----------------------------------------------------------------------
587 
588 struct vki_ipc64_perm
589 {
590 	__vki_kernel_key_t	key;
591 	__vki_kernel_uid32_t	uid;
592 	__vki_kernel_gid32_t	gid;
593 	__vki_kernel_uid32_t	cuid;
594 	__vki_kernel_gid32_t	cgid;
595 	__vki_kernel_mode_t	mode;
596 	unsigned short		__pad1;
597 	unsigned short		seq;
598 	unsigned short		__pad2;
599 	unsigned long		__unused1;
600 	unsigned long		__unused2;
601 };
602 
603 //----------------------------------------------------------------------
604 // From linux-2.6.11.2/include/asm-x86_64/sembuf.h
605 //----------------------------------------------------------------------
606 
607 struct vki_semid64_ds {
608 	struct vki_ipc64_perm sem_perm;		/* permissions .. see ipc.h */
609 	__vki_kernel_time_t	sem_otime;		/* last semop time */
610 	unsigned long	__unused1;
611 	__vki_kernel_time_t	sem_ctime;		/* last change time */
612 	unsigned long	__unused2;
613 	unsigned long	sem_nsems;		/* no. of semaphores in array */
614 	unsigned long	__unused3;
615 	unsigned long	__unused4;
616 };
617 
618 //----------------------------------------------------------------------
619 // From linux-2.6.11.2/include/asm-x86_64/msgbuf.h
620 //----------------------------------------------------------------------
621 
622 struct vki_msqid64_ds {
623 	struct vki_ipc64_perm msg_perm;
624 	__vki_kernel_time_t msg_stime;	/* last msgsnd time */
625 	__vki_kernel_time_t msg_rtime;	/* last msgrcv time */
626 	__vki_kernel_time_t msg_ctime;	/* last change time */
627 	unsigned long  msg_cbytes;	/* current number of bytes on queue */
628 	unsigned long  msg_qnum;	/* number of messages in queue */
629 	unsigned long  msg_qbytes;	/* max number of bytes on queue */
630 	__vki_kernel_pid_t msg_lspid;	/* pid of last msgsnd */
631 	__vki_kernel_pid_t msg_lrpid;	/* last receive pid */
632 	unsigned long  __unused4;
633 	unsigned long  __unused5;
634 };
635 
636 //----------------------------------------------------------------------
637 // From linux-2.6.11.2/include/asm-x86_64/shmbuf.h
638 //----------------------------------------------------------------------
639 
640 struct vki_shmid64_ds {
641 	struct vki_ipc64_perm	shm_perm;	/* operation perms */
642 	vki_size_t		shm_segsz;	/* size of segment (bytes) */
643 	__vki_kernel_time_t	shm_atime;	/* last attach time */
644 	__vki_kernel_time_t	shm_dtime;	/* last detach time */
645 	__vki_kernel_time_t	shm_ctime;	/* last change time */
646 	__vki_kernel_pid_t	shm_cpid;	/* pid of creator */
647 	__vki_kernel_pid_t	shm_lpid;	/* pid of last operator */
648 	unsigned long		shm_nattch;	/* no. of current attaches */
649 	unsigned long		__unused4;
650 	unsigned long		__unused5;
651 };
652 
653 struct vki_shminfo64 {
654 	unsigned long	shmmax;
655 	unsigned long	shmmin;
656 	unsigned long	shmmni;
657 	unsigned long	shmseg;
658 	unsigned long	shmall;
659 	unsigned long	__unused1;
660 	unsigned long	__unused2;
661 	unsigned long	__unused3;
662 	unsigned long	__unused4;
663 };
664 
665 //----------------------------------------------------------------------
666 // From linux-2.6.12.2/include/asm-x86_64/ptrace.h
667 //----------------------------------------------------------------------
668 
669 #define VKI_PTRACE_GETREGS            12
670 #define VKI_PTRACE_SETREGS            13
671 #define VKI_PTRACE_GETFPREGS          14
672 #define VKI_PTRACE_SETFPREGS          15
673 
674 //----------------------------------------------------------------------
675 // And that's it!
676 //----------------------------------------------------------------------
677 
678 #endif // __VKI_AMD64_LINUX_H
679 
680 /*--------------------------------------------------------------------*/
681 /*--- end                                                          ---*/
682 /*--------------------------------------------------------------------*/
683