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
41typedef unsigned char __vki_u8;
42
43typedef __signed__ short __vki_s16;
44typedef unsigned short __vki_u16;
45
46typedef __signed__ int __vki_s32;
47typedef unsigned int __vki_u32;
48
49typedef __signed__ long long __vki_s64;
50typedef unsigned long long __vki_u64;
51
52typedef unsigned short vki_u16;
53
54typedef 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
79typedef unsigned long vki_old_sigset_t;		/* at least 32 bits */
80
81typedef 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
143typedef void __vki_signalfn_t(int);
144typedef __vki_signalfn_t __user *__vki_sighandler_t;
145
146typedef void __vki_restorefn_t(void);
147typedef __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
152struct 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: */
165typedef  struct vki_sigaction_base  vki_sigaction_toK_t;
166typedef  struct vki_sigaction_base  vki_sigaction_fromK_t;
167
168
169typedef 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
179struct _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
193struct 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
278struct 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
317struct 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
344struct 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
362struct 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
370struct 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
383typedef unsigned char	vki_cc_t;
384typedef unsigned int	vki_tcflag_t;
385
386#define VKI_NCCS 19
387struct 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
475struct 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
485struct 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
499struct 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
512typedef unsigned long vki_elf_greg_t;
513
514#define VKI_ELF_NGREG (sizeof (struct vki_user_regs_struct) / sizeof(vki_elf_greg_t))
515typedef vki_elf_greg_t vki_elf_gregset_t[VKI_ELF_NGREG];
516
517typedef 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
523struct 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. */
568struct 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]]
582typedef 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
588struct 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
607struct 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
622struct 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
640struct 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
653struct 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