vki-linux.h revision a9ccca307500096b081f7da02f0c9892ed4edaa0
1
2/*--------------------------------------------------------------------*/
3/*--- Linux-specific kernel interface.                 vki-linux.h ---*/
4/*--------------------------------------------------------------------*/
5
6/*
7   This file is part of Valgrind, a dynamic binary instrumentation
8   framework.
9
10   Copyright (C) 2000-2013 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/* This file defines types and constants for the kernel interface, and to
32   make that clear everything is prefixed VKI_/vki_.
33
34   All code is copied verbatim from kernel source files, except that:
35   - VKI_/vki_ prefixes are added
36   - some extra explanatory comments are included;  they are all within
37     "[[ ]]"
38   - for some types, we only care about the size;  for a few of them (big
39     ones that are painful to fully drag in here), a VKI_SIZEOF_* constant
40     is used.
41
42   The files the code is taken from is indicated.
43
44   Note especially that the types are not the glibc versions, many of which
45   are different to those in here.
46
47   Also note that this file contains all the generic header info, ie. that
48   from linux/include/linux/ *.h.  The arch-specific header info, eg. that
49   from linux/include/asm-i386/ *.h, is in vki-$PLATFORM.h and
50   vki_posixtypes-$PLATFORM.h.  (Two files are required to avoid
51   circular dependencies between the generic VKI header and the
52   arch-specific VKI header.  It's possible in the future, as more stuff
53   gets pulled in, that we might have to split files up some more to avoid
54   further circular dependencies.)
55
56   Finally, note that it is assumed that __KERNEL__ is set for all these
57   definitions, which affects some of them.
58*/
59
60/* The structure is (aiui, jrs 20060504):
61
62     #include plat-specific posix types (vki-posixtypes-ARCH-linux.h)
63
64     Lots more types, structs, consts, in this file
65
66     #include other plat-specific stuff (vki-ARCH-linux.h)
67
68     Even more types, structs, consts, in this file
69
70   The system call numbers are dealt with by
71   pub_{core,tool}_vkiscnums.h, not via pub_{core,tool}_vki.h, which
72   is what this file is part of.
73*/
74
75#ifndef __VKI_LINUX_H
76#define __VKI_LINUX_H
77
78//----------------------------------------------------------------------
79// Arch-specific POSIX types
80//----------------------------------------------------------------------
81
82#if defined(VGA_x86)
83#  include "vki-posixtypes-x86-linux.h"
84#elif defined(VGA_amd64)
85#  include "vki-posixtypes-amd64-linux.h"
86#elif defined(VGA_ppc32)
87#  include "vki-posixtypes-ppc32-linux.h"
88#elif defined(VGA_ppc64be) || defined(VGA_ppc64le)
89#  include "vki-posixtypes-ppc64-linux.h"
90#elif defined(VGA_arm)
91#  include "vki-posixtypes-arm-linux.h"
92#elif defined(VGA_arm64)
93#  include "vki-posixtypes-arm64-linux.h"
94#elif defined(VGA_s390x)
95#  include "vki-posixtypes-s390x-linux.h"
96#elif defined(VGA_mips32)
97#  include "vki-posixtypes-mips32-linux.h"
98#elif defined(VGA_mips64)
99#  include "vki-posixtypes-mips64-linux.h"
100#else
101#  error Unknown platform
102#endif
103
104//----------------------------------------------------------------------
105// VKI_STATIC_ASSERT(). Inspired by BUILD_BUG_ON() from
106// linux-2.6.34/include/linux/kernel.h
107//----------------------------------------------------------------------
108
109/*
110 * Evaluates to zero if 'expr' is true and forces a compilation error if
111 * 'expr' is false. Can be used in a context where no comma expressions
112 * are allowed.
113 */
114#ifdef __cplusplus
115template <bool b> struct vki_static_assert { int m_bitfield:(2*b-1); };
116#define VKI_STATIC_ASSERT(expr)                         \
117    (sizeof(vki_static_assert<(expr)>) - sizeof(int))
118#else
119#define VKI_STATIC_ASSERT(expr) (sizeof(struct { int:-!(expr); }))
120#endif
121
122//----------------------------------------------------------------------
123// Based on _IOC_TYPECHECK() from linux-2.6.34/asm-generic/ioctl.h
124//----------------------------------------------------------------------
125
126/* provoke compile error for invalid uses of size argument */
127#define _VKI_IOC_TYPECHECK(t)                                           \
128    (VKI_STATIC_ASSERT((sizeof(t) == sizeof(t[1])                       \
129                        && sizeof(t) < (1 << _VKI_IOC_SIZEBITS)))       \
130     + sizeof(t))
131
132//----------------------------------------------------------------------
133// From linux-2.6.8.1/include/linux/compiler.h
134//----------------------------------------------------------------------
135
136# define __user
137
138//----------------------------------------------------------------------
139// From linux/include/linux/compiler-gcc.h
140//----------------------------------------------------------------------
141
142#ifdef __GNUC__
143#define __vki_packed			__attribute__((packed))
144#endif
145
146//----------------------------------------------------------------------
147// From linux-2.6.8.1/include/linux/posix_types.h
148//----------------------------------------------------------------------
149
150#undef __VKI_NFDBITS
151#define __VKI_NFDBITS	(8 * sizeof(unsigned long))
152
153#undef __VKI_FD_SETSIZE
154#define __VKI_FD_SETSIZE	1024
155
156#undef __VKI_FDSET_LONGS
157#define __VKI_FDSET_LONGS	(__VKI_FD_SETSIZE/__VKI_NFDBITS)
158
159#undef __VKI_FDELT
160#define	__VKI_FDELT(d)	((d) / __VKI_NFDBITS)
161
162#undef __VKI_FDMASK
163#define	__VKI_FDMASK(d)	(1UL << ((d) % __VKI_NFDBITS))
164
165typedef struct {
166	unsigned long fds_bits [__VKI_FDSET_LONGS];
167} __vki_kernel_fd_set;
168
169typedef int __vki_kernel_key_t;
170typedef int __vki_kernel_mqd_t;
171
172//----------------------------------------------------------------------
173// From linux-2.6.8.1/include/linux/types.h
174//----------------------------------------------------------------------
175
176typedef __vki_kernel_fd_set	vki_fd_set;
177typedef __vki_kernel_mode_t	vki_mode_t;
178typedef __vki_kernel_off_t	vki_off_t;
179typedef __vki_kernel_pid_t	vki_pid_t;
180typedef __vki_kernel_key_t	vki_key_t;
181typedef __vki_kernel_suseconds_t	vki_suseconds_t;
182typedef __vki_kernel_timer_t	vki_timer_t;
183typedef __vki_kernel_clockid_t	vki_clockid_t;
184typedef __vki_kernel_mqd_t	vki_mqd_t;
185
186// [[Nb: it's a bit unclear due to a #ifdef, but I think this is right. --njn]]
187typedef __vki_kernel_uid32_t	vki_uid_t;
188typedef __vki_kernel_gid32_t	vki_gid_t;
189
190typedef __vki_kernel_old_uid_t	vki_old_uid_t;
191typedef __vki_kernel_old_gid_t	vki_old_gid_t;
192
193typedef __vki_kernel_loff_t	vki_loff_t;
194
195typedef __vki_kernel_size_t	vki_size_t;
196typedef __vki_kernel_time_t	vki_time_t;
197typedef __vki_kernel_clock_t	vki_clock_t;
198typedef __vki_kernel_caddr_t	vki_caddr_t;
199
200typedef unsigned long           vki_u_long;
201
202typedef unsigned int	        vki_uint;
203
204//----------------------------------------------------------------------
205// Now the rest of the arch-specific stuff
206//----------------------------------------------------------------------
207
208#if defined(VGA_x86)
209#  include "vki-x86-linux.h"
210#elif defined(VGA_amd64)
211#  include "vki-amd64-linux.h"
212#elif defined(VGA_ppc32)
213#  include "vki-ppc32-linux.h"
214#elif defined(VGA_ppc64be) || defined(VGA_ppc64le)
215#  include "vki-ppc64-linux.h"
216#elif defined(VGA_arm)
217#  include "vki-arm-linux.h"
218#elif defined(VGA_arm64)
219#  include "vki-arm64-linux.h"
220#elif defined(VGA_s390x)
221#  include "vki-s390x-linux.h"
222#elif defined(VGA_mips32)
223#  include "vki-mips32-linux.h"
224#elif defined(VGA_mips64)
225#  include "vki-mips64-linux.h"
226#else
227#  error Unknown platform
228#endif
229
230//----------------------------------------------------------------------
231// From linux-2.6.20.1/include/linux/types.h
232//----------------------------------------------------------------------
233
234typedef		__vki_s32	vki_int32_t;
235typedef		__vki_s16	vki_int16_t;
236typedef		__vki_s64	vki_int64_t;
237
238typedef		__vki_u8	vki_uint8_t;
239typedef		__vki_u16	vki_uint16_t;
240typedef		__vki_u32	vki_uint32_t;
241typedef		__vki_u64	vki_uint64_t;
242
243typedef		__vki_u16	__vki_le16;
244
245//----------------------------------------------------------------------
246// From linux-2.6.8.1/include/linux/limits.h
247//----------------------------------------------------------------------
248
249#define VKI_PATH_MAX       4096	/* # chars in a path name including nul */
250
251//----------------------------------------------------------------------
252// From linux-2.6.8.1/include/linux/kernel.h
253//----------------------------------------------------------------------
254
255struct vki_sysinfo {
256	long uptime;			/* Seconds since boot */
257	unsigned long loads[3];		/* 1, 5, and 15 minute load averages */
258	unsigned long totalram;		/* Total usable main memory size */
259	unsigned long freeram;		/* Available memory size */
260	unsigned long sharedram;	/* Amount of shared memory */
261	unsigned long bufferram;	/* Memory used by buffers */
262	unsigned long totalswap;	/* Total swap space size */
263	unsigned long freeswap;		/* swap space still available */
264	unsigned short procs;		/* Number of current processes */
265	unsigned short pad;		/* explicit padding for m68k */
266	unsigned long totalhigh;	/* Total high memory size */
267	unsigned long freehigh;		/* Available high memory size */
268	unsigned int mem_unit;		/* Memory unit size in bytes */
269	char _f[20-2*sizeof(long)-sizeof(int)];	/* Padding: libc5 uses this.. */
270};
271
272//----------------------------------------------------------------------
273// From linux-2.6.8.1/include/linux/time.h
274//----------------------------------------------------------------------
275
276#define VKI_CLOCK_REALTIME            0
277#define VKI_CLOCK_MONOTONIC           1
278#define VKI_CLOCK_PROCESS_CPUTIME_ID  2
279#define VKI_CLOCK_THREAD_CPUTIME_ID   3
280
281struct vki_timespec {
282	vki_time_t	tv_sec;		/* seconds */
283	long		tv_nsec;	/* nanoseconds */
284};
285
286struct vki_timeval {
287	vki_time_t	tv_sec;		/* seconds */
288	vki_suseconds_t	tv_usec;	/* microseconds */
289};
290
291struct vki_timezone {
292	int	tz_minuteswest;	/* minutes west of Greenwich */
293	int	tz_dsttime;	/* type of dst correction */
294};
295
296struct  vki_itimerspec {
297        struct  vki_timespec it_interval;    /* timer period */
298        struct  vki_timespec it_value;       /* timer expiration */
299};
300
301struct	vki_itimerval {
302	struct	vki_timeval it_interval;	/* timer interval */
303	struct	vki_timeval it_value;	/* current value */
304};
305
306//----------------------------------------------------------------------
307// From linux-2.6.8.1/include/linux/timex.h
308//----------------------------------------------------------------------
309
310struct vki_timex {
311	unsigned int modes;	/* mode selector */
312	long offset;		/* time offset (usec) */
313	long freq;		/* frequency offset (scaled ppm) */
314	long maxerror;		/* maximum error (usec) */
315	long esterror;		/* estimated error (usec) */
316	int status;		/* clock command/status */
317	long constant;		/* pll time constant */
318	long precision;		/* clock precision (usec) (read only) */
319	long tolerance;		/* clock frequency tolerance (ppm)
320				 * (read only)
321				 */
322	struct vki_timeval time;	/* (read only) */
323	long tick;		/* (modified) usecs between clock ticks */
324
325	long ppsfreq;           /* pps frequency (scaled ppm) (ro) */
326	long jitter;            /* pps jitter (us) (ro) */
327	int shift;              /* interval duration (s) (shift) (ro) */
328	long stabil;            /* pps stability (scaled ppm) (ro) */
329	long jitcnt;            /* jitter limit exceeded (ro) */
330	long calcnt;            /* calibration intervals (ro) */
331	long errcnt;            /* calibration errors (ro) */
332	long stbcnt;            /* stability limit exceeded (ro) */
333
334	int  :32; int  :32; int  :32; int  :32;
335	int  :32; int  :32; int  :32; int  :32;
336	int  :32; int  :32; int  :32; int  :32;
337};
338
339#define VKI_ADJ_OFFSET			0x0001	/* time offset */
340#define VKI_ADJ_FREQUENCY		0x0002	/* frequency offset */
341#define VKI_ADJ_MAXERROR		0x0004	/* maximum time error */
342#define VKI_ADJ_ESTERROR		0x0008	/* estimated time error */
343#define VKI_ADJ_STATUS			0x0010	/* clock status */
344#define VKI_ADJ_TIMECONST		0x0020	/* pll time constant */
345#define VKI_ADJ_TAI			0x0080	/* set TAI offset */
346#define VKI_ADJ_TICK			0x4000	/* tick value */
347#define VKI_ADJ_ADJTIME			0x8000	/* switch between adjtime/adjtimex modes */
348//#define VKI_ADJ_OFFSET_SINGLESHOT	0x8001	/* old-fashioned adjtime */
349#define VKI_ADJ_OFFSET_READONLY		0x2000	/* read-only adjtime */
350
351//----------------------------------------------------------------------
352// From linux-2.6.8.1/include/linux/times.h
353//----------------------------------------------------------------------
354
355struct vki_tms {
356	vki_clock_t tms_utime;
357	vki_clock_t tms_stime;
358	vki_clock_t tms_cutime;
359	vki_clock_t tms_cstime;
360};
361
362//----------------------------------------------------------------------
363// From linux-2.6.8.1/include/linux/utime.h
364//----------------------------------------------------------------------
365
366struct vki_utimbuf {
367	vki_time_t actime;
368	vki_time_t modtime;
369};
370
371//----------------------------------------------------------------------
372// From linux-2.6.8.1/include/linux/sched.h
373//----------------------------------------------------------------------
374
375#define VKI_CSIGNAL		0x000000ff	/* signal mask to be sent at exit */
376#define VKI_CLONE_VM		0x00000100	/* set if VM shared between processes */
377#define VKI_CLONE_FS		0x00000200	/* set if fs info shared between processes */
378#define VKI_CLONE_FILES		0x00000400	/* set if open files shared between processes */
379#define VKI_CLONE_SIGHAND	0x00000800	/* set if signal handlers and blocked signals shared */
380#define VKI_CLONE_VFORK		0x00004000	/* set if the parent wants the child to wake it up on mm_release */
381#define VKI_CLONE_PARENT	0x00008000	/* set if we want to have the same parent as the cloner */
382#define VKI_CLONE_THREAD	0x00010000	/* Same thread group? */
383#define VKI_CLONE_SYSVSEM	0x00040000	/* share system V SEM_UNDO semantics */
384#define VKI_CLONE_SETTLS	0x00080000	/* create a new TLS for the child */
385#define VKI_CLONE_PARENT_SETTID	0x00100000	/* set the TID in the parent */
386#define VKI_CLONE_CHILD_CLEARTID	0x00200000	/* clear the TID in the child */
387#define VKI_CLONE_DETACHED	0x00400000	/* Unused, ignored */
388#define VKI_CLONE_CHILD_SETTID	0x01000000	/* set the TID in the child */
389
390struct vki_sched_param {
391	int sched_priority;
392};
393
394#define VKI_TASK_COMM_LEN 16
395
396//----------------------------------------------------------------------
397// From linux-2.6.8.1/include/asm-generic/siginfo.h
398//----------------------------------------------------------------------
399
400// Some archs, such as MIPS, have non-standard vki_siginfo.
401#ifndef HAVE_ARCH_SIGINFO_T
402typedef union vki_sigval {
403	int sival_int;
404	void __user *sival_ptr;
405} vki_sigval_t;
406
407#ifndef __VKI_ARCH_SI_PREAMBLE_SIZE
408#define __VKI_ARCH_SI_PREAMBLE_SIZE	(3 * sizeof(int))
409#endif
410
411#define VKI_SI_MAX_SIZE	128
412
413#ifndef VKI_SI_PAD_SIZE
414#define VKI_SI_PAD_SIZE	((VKI_SI_MAX_SIZE - __VKI_ARCH_SI_PREAMBLE_SIZE) / sizeof(int))
415#endif
416
417#ifndef __VKI_ARCH_SI_UID_T
418#define __VKI_ARCH_SI_UID_T	vki_uid_t
419#endif
420
421#ifndef __VKI_ARCH_SI_BAND_T
422#define __VKI_ARCH_SI_BAND_T long
423#endif
424
425// [[Nb: this type changed between 2.4 and 2.6, but not in a way that
426// affects Valgrind.]]
427typedef struct vki_siginfo {
428	int si_signo;
429	int si_errno;
430	int si_code;
431
432	union {
433		int _pad[VKI_SI_PAD_SIZE];
434
435		/* kill() */
436		struct {
437			vki_pid_t _pid;		/* sender's pid */
438			__VKI_ARCH_SI_UID_T _uid;	/* sender's uid */
439		} _kill;
440
441		/* POSIX.1b timers */
442		struct {
443			vki_timer_t _tid;		/* timer id */
444			int _overrun;		/* overrun count */
445			char _pad[sizeof( __VKI_ARCH_SI_UID_T) - sizeof(int)];
446			vki_sigval_t _sigval;	/* same as below */
447			int _sys_private;       /* not to be passed to user */
448		} _timer;
449
450		/* POSIX.1b signals */
451		struct {
452			vki_pid_t _pid;		/* sender's pid */
453			__VKI_ARCH_SI_UID_T _uid;	/* sender's uid */
454			vki_sigval_t _sigval;
455		} _rt;
456
457		/* SIGCHLD */
458		struct {
459			vki_pid_t _pid;		/* which child */
460			__VKI_ARCH_SI_UID_T _uid;	/* sender's uid */
461			int _status;		/* exit code */
462			vki_clock_t _utime;
463			vki_clock_t _stime;
464		} _sigchld;
465
466		/* SIGILL, SIGFPE, SIGSEGV, SIGBUS */
467		struct {
468			void __user *_addr; /* faulting insn/memory ref. */
469#ifdef __ARCH_SI_TRAPNO
470			int _trapno;	/* TRAP # which caused the signal */
471#endif
472		} _sigfault;
473
474		/* SIGPOLL */
475		struct {
476			__VKI_ARCH_SI_BAND_T _band;	/* POLL_IN, POLL_OUT, POLL_MSG */
477			int _fd;
478		} _sigpoll;
479	} _sifields;
480} vki_siginfo_t;
481#endif
482
483#define __VKI_SI_FAULT	0
484
485/*
486 * si_code values
487 * Digital reserves positive values for kernel-generated signals.
488 */
489#define VKI_SI_USER	0		/* sent by kill, sigsend, raise */
490#define VKI_SI_TKILL	-6		/* sent by tkill system call */
491
492/*
493 * SIGILL si_codes
494 */
495#define VKI_ILL_ILLOPC	(__VKI_SI_FAULT|1)	/* illegal opcode */
496#define VKI_ILL_ILLOPN	(__VKI_SI_FAULT|2)	/* illegal operand */
497#define VKI_ILL_ILLADR	(__VKI_SI_FAULT|3)	/* illegal addressing mode */
498#define VKI_ILL_ILLTRP	(__VKI_SI_FAULT|4)	/* illegal trap */
499#define VKI_ILL_PRVOPC	(__VKI_SI_FAULT|5)	/* privileged opcode */
500#define VKI_ILL_PRVREG	(__VKI_SI_FAULT|6)	/* privileged register */
501#define VKI_ILL_COPROC	(__VKI_SI_FAULT|7)	/* coprocessor error */
502#define VKI_ILL_BADSTK	(__VKI_SI_FAULT|8)	/* internal stack error */
503
504/*
505 * SIGFPE si_codes
506 */
507#define VKI_FPE_INTDIV	(__VKI_SI_FAULT|1)	/* integer divide by zero */
508#define VKI_FPE_INTOVF	(__VKI_SI_FAULT|2)	/* integer overflow */
509#define VKI_FPE_FLTDIV	(__VKI_SI_FAULT|3)	/* floating point divide by zero */
510#define VKI_FPE_FLTOVF	(__VKI_SI_FAULT|4)	/* floating point overflow */
511#define VKI_FPE_FLTUND	(__VKI_SI_FAULT|5)	/* floating point underflow */
512#define VKI_FPE_FLTRES	(__VKI_SI_FAULT|6)	/* floating point inexact result */
513#define VKI_FPE_FLTINV	(__VKI_SI_FAULT|7)	/* floating point invalid operation */
514#define VKI_FPE_FLTSUB	(__VKI_SI_FAULT|8)	/* subscript out of range */
515
516/*
517 * SIGSEGV si_codes
518 */
519#define VKI_SEGV_MAPERR	(__VKI_SI_FAULT|1)	/* address not mapped to object */
520#define VKI_SEGV_ACCERR	(__VKI_SI_FAULT|2)	/* invalid permissions for mapped object */
521
522/*
523 * SIGBUS si_codes
524 */
525#define VKI_BUS_ADRALN	(__VKI_SI_FAULT|1)	/* invalid address alignment */
526#define VKI_BUS_ADRERR	(__VKI_SI_FAULT|2)	/* non-existant physical address */
527#define VKI_BUS_OBJERR	(__VKI_SI_FAULT|3)	/* object specific hardware error */
528
529/*
530 * SIGTRAP si_codes
531 */
532#define VKI_TRAP_BRKPT      (__VKI_SI_FAULT|1)  /* process breakpoint */
533#define VKI_TRAP_TRACE      (__VKI_SI_FAULT|2)  /* process trace trap */
534
535/*
536 * This works because the alignment is ok on all current architectures
537 * but we leave open this being overridden in the future
538 */
539#ifndef VKI___ARCH_SIGEV_PREAMBLE_SIZE
540#define VKI___ARCH_SIGEV_PREAMBLE_SIZE	(sizeof(int) * 2 + sizeof(vki_sigval_t))
541#endif
542
543#define VKI_SIGEV_MAX_SIZE	64
544#define VKI_SIGEV_PAD_SIZE	((VKI_SIGEV_MAX_SIZE - VKI___ARCH_SIGEV_PREAMBLE_SIZE) \
545		/ sizeof(int))
546
547/* This is the flag the kernel handles, userspace/glibc handles SEGEV_THEAD. */
548#define VKI_SIGEV_THREAD_ID	4
549
550typedef struct vki_sigevent {
551	vki_sigval_t sigev_value;
552	int sigev_signo;
553	int sigev_notify;
554	union {
555		int _pad[VKI_SIGEV_PAD_SIZE];
556		 int _tid;
557
558		struct {
559			void (*_function)(vki_sigval_t);
560			void *_attribute;	/* really pthread_attr_t */
561		} _sigev_thread;
562	} _sigev_un;
563} vki_sigevent_t;
564
565#define vki_sigev_notify_thread_id	_sigev_un._tid
566
567//----------------------------------------------------------------------
568// From elsewhere...
569//----------------------------------------------------------------------
570
571// [[The kernel actually uses the numbers 0,1,2 directly here, believe it or
572// not.  So we introduce our own constants, based on the glibc ones.]]
573#define VKI_SEEK_SET              0
574#define VKI_SEEK_CUR              1
575#define VKI_SEEK_END              2
576
577//----------------------------------------------------------------------
578// From linux-2.6.8.1/include/linux/net.h
579//----------------------------------------------------------------------
580
581#define VKI_SYS_SOCKET		1	/* sys_socket(2)		*/
582#define VKI_SYS_BIND		2	/* sys_bind(2)			*/
583#define VKI_SYS_CONNECT		3	/* sys_connect(2)		*/
584#define VKI_SYS_LISTEN		4	/* sys_listen(2)		*/
585#define VKI_SYS_ACCEPT		5	/* sys_accept(2)		*/
586#define VKI_SYS_GETSOCKNAME	6	/* sys_getsockname(2)		*/
587#define VKI_SYS_GETPEERNAME	7	/* sys_getpeername(2)		*/
588#define VKI_SYS_SOCKETPAIR	8	/* sys_socketpair(2)		*/
589#define VKI_SYS_SEND		9	/* sys_send(2)			*/
590#define VKI_SYS_RECV		10	/* sys_recv(2)			*/
591#define VKI_SYS_SENDTO		11	/* sys_sendto(2)		*/
592#define VKI_SYS_RECVFROM	12	/* sys_recvfrom(2)		*/
593#define VKI_SYS_SHUTDOWN	13	/* sys_shutdown(2)		*/
594#define VKI_SYS_SETSOCKOPT	14	/* sys_setsockopt(2)		*/
595#define VKI_SYS_GETSOCKOPT	15	/* sys_getsockopt(2)		*/
596#define VKI_SYS_SENDMSG		16	/* sys_sendmsg(2)		*/
597#define VKI_SYS_RECVMSG		17	/* sys_recvmsg(2)		*/
598#define VKI_SYS_ACCEPT4		18	/* sys_accept4(2)		*/
599
600#ifndef ARCH_HAS_SOCKET_TYPES
601enum vki_sock_type {
602	VKI_SOCK_STREAM	= 1,
603	// [[others omitted]]
604};
605#endif /* ARCH_HAS_SOCKET_TYPES */
606
607//----------------------------------------------------------------------
608// From linux-2.6.8.1/include/linux/uio.h
609//----------------------------------------------------------------------
610
611struct vki_iovec
612{
613	void __user *iov_base;	/* BSD uses caddr_t (1003.1g requires void *) */
614	__vki_kernel_size_t iov_len; /* Must be size_t (1003.1g) */
615};
616
617//----------------------------------------------------------------------
618// From linux-2.6.8.1/include/linux/socket.h
619//----------------------------------------------------------------------
620
621// [[Resolved arbitrarily;  doesn't really matter whether it's '__inline__'
622//   or 'inline']]
623#define __KINLINE static __inline__
624
625typedef unsigned short	vki_sa_family_t;
626
627struct vki_sockaddr {
628	vki_sa_family_t	sa_family;	/* address family, AF_xxx	*/
629	char		sa_data[14];	/* 14 bytes of protocol address	*/
630};
631
632struct vki_msghdr {
633	void	*	msg_name;	/* Socket name			*/
634	int		msg_namelen;	/* Length of name		*/
635	struct vki_iovec *	msg_iov;	/* Data blocks			*/
636	__vki_kernel_size_t	msg_iovlen;	/* Number of blocks		*/
637	void 	*	msg_control;	/* Per protocol magic (eg BSD file descriptor passing) */
638	__vki_kernel_size_t	msg_controllen;	/* Length of cmsg list */
639	unsigned	msg_flags;
640};
641
642struct vki_mmsghdr {
643	struct vki_msghdr   msg_hdr;
644	unsigned        msg_len;
645};
646
647struct vki_cmsghdr {
648	__vki_kernel_size_t	cmsg_len;	/* data byte count, including hdr */
649        int		cmsg_level;	/* originating protocol */
650        int		cmsg_type;	/* protocol-specific type */
651};
652
653#define __VKI_CMSG_NXTHDR(ctl, len, cmsg) __vki_cmsg_nxthdr((ctl),(len),(cmsg))
654#define VKI_CMSG_NXTHDR(mhdr, cmsg) vki_cmsg_nxthdr((mhdr), (cmsg))
655
656#define VKI_CMSG_ALIGN(len) ( ((len)+sizeof(long)-1) & ~(sizeof(long)-1) )
657
658#define VKI_CMSG_DATA(cmsg)	((void *)((char *)(cmsg) + VKI_CMSG_ALIGN(sizeof(struct vki_cmsghdr))))
659
660#define __VKI_CMSG_FIRSTHDR(ctl,len) ((len) >= sizeof(struct vki_cmsghdr) ? \
661				  (struct vki_cmsghdr *)(ctl) : \
662				  (struct vki_cmsghdr *)NULL)
663#define VKI_CMSG_FIRSTHDR(msg)	__VKI_CMSG_FIRSTHDR((msg)->msg_control, (msg)->msg_controllen)
664
665// [[Urgh, this is revolting...]
666__KINLINE struct vki_cmsghdr * __vki_cmsg_nxthdr(void *__ctl, __vki_kernel_size_t __size,
667					       struct vki_cmsghdr *__cmsg)
668{
669	struct vki_cmsghdr * __ptr;
670
671	__ptr = (struct vki_cmsghdr*)(((unsigned char *) __cmsg) +  VKI_CMSG_ALIGN(__cmsg->cmsg_len));
672	if ((unsigned long)((char*)(__ptr+1) - (char *) __ctl) > __size)
673		return (struct vki_cmsghdr *)0;
674
675	return __ptr;
676}
677
678__KINLINE struct vki_cmsghdr * vki_cmsg_nxthdr (struct vki_msghdr *__msg, struct vki_cmsghdr *__cmsg)
679{
680	return __vki_cmsg_nxthdr(__msg->msg_control, __msg->msg_controllen, __cmsg);
681}
682
683#define	VKI_SCM_RIGHTS	0x01		/* rw: access rights (array of int) */
684
685#define VKI_AF_UNSPEC   0
686#define VKI_AF_UNIX	1	/* Unix domain sockets 		*/
687#define VKI_AF_INET	2	/* Internet IP Protocol		*/
688#define VKI_AF_INET6	10	/* IP version 6			*/
689#define VKI_AF_NETLINK  16
690#define VKI_AF_BLUETOOTH 31	/* Bluetooth sockets		*/
691
692#define VKI_MSG_NOSIGNAL	0x4000	/* Do not generate SIGPIPE */
693
694#define VKI_SOL_SCTP	132
695
696//----------------------------------------------------------------------
697// From linux-2.6.8.1/include/linux/in.h
698//----------------------------------------------------------------------
699
700struct vki_in_addr {
701	__vki_u32	s_addr;
702};
703
704/* Structure describing an Internet (IP) socket address. */
705#define __VKI_SOCK_SIZE__	16	/* sizeof(struct sockaddr)	*/
706struct vki_sockaddr_in {
707  vki_sa_family_t	sin_family;	/* Address family		*/
708  unsigned short int	sin_port;	/* Port number			*/
709  struct vki_in_addr	sin_addr;	/* Internet address		*/
710
711  /* Pad to size of `struct sockaddr'. */
712  unsigned char		__pad[__VKI_SOCK_SIZE__ - sizeof(short int) -
713			sizeof(unsigned short int) - sizeof(struct vki_in_addr)];
714};
715
716#define VKI_IPPROTO_TCP 6       /* Transmission Control Protocol        */
717
718//----------------------------------------------------------------------
719// From linux-2.6.8.1/include/linux/in6.h
720//----------------------------------------------------------------------
721
722struct vki_in6_addr
723{
724	union
725	{
726		__vki_u8	u6_addr8[16];
727		__vki_u16	u6_addr16[8];
728		__vki_u32	u6_addr32[4];
729	} vki_in6_u;
730#define vki_s6_addr		vki_in6_u.u6_addr8
731#define vki_s6_addr16		vki_in6_u.u6_addr16
732#define vki_s6_addr32		vki_in6_u.u6_addr32
733};
734
735struct vki_sockaddr_in6 {
736	unsigned short int	sin6_family;    /* AF_INET6 */
737	__vki_u16		sin6_port;      /* Transport layer port # */
738	__vki_u32		sin6_flowinfo;  /* IPv6 flow information */
739	struct vki_in6_addr	sin6_addr;      /* IPv6 address */
740	__vki_u32		sin6_scope_id;  /* scope id (new in RFC2553) */
741};
742
743//----------------------------------------------------------------------
744// From linux-2.6.8.1/include/linux/tcp.h
745//----------------------------------------------------------------------
746
747#define VKI_TCP_NODELAY    1       /* Turn off Nagle's algorithm. */
748
749
750//----------------------------------------------------------------------
751// From linux-2.6.8.1/include/linux/un.h
752//----------------------------------------------------------------------
753
754#define VKI_UNIX_PATH_MAX	108
755
756struct vki_sockaddr_un {
757	vki_sa_family_t sun_family;	/* AF_UNIX */
758	char sun_path[VKI_UNIX_PATH_MAX];	/* pathname */
759};
760
761//----------------------------------------------------------------------
762// From linux-3.15.8/include/uapi/linux/netlink.h
763//----------------------------------------------------------------------
764
765struct vki_sockaddr_nl {
766        vki_sa_family_t    nl_family;      /* AF_NETLINK   */
767        unsigned short     nl_pad;         /* zero         */
768        __vki_u32          nl_pid;         /* port ID      */
769        __vki_u32          nl_groups;      /* multicast groups mask */
770};
771
772//----------------------------------------------------------------------
773// From linux-2.6.8.1/include/linux/if.h
774//----------------------------------------------------------------------
775
776#define	VKI_IFNAMSIZ	16
777
778struct vki_ifmap
779{
780	unsigned long mem_start;
781	unsigned long mem_end;
782	unsigned short base_addr;
783	unsigned char irq;
784	unsigned char dma;
785	unsigned char port;
786	/* 3 bytes spare */
787};
788
789struct vki_if_settings
790{
791	unsigned int type;	/* Type of physical device or protocol */
792	unsigned int size;	/* Size of the data allocated by the caller */
793	union {
794                // [[Nb: converted these all to void* to avoid pulling in
795                //   unnecessary headers]]]
796		/* {atm/eth/dsl}_settings anyone ? */
797		void /*raw_hdlc_proto		*/__user *raw_hdlc;
798		void /*cisco_proto		*/__user *cisco;
799		void /*fr_proto			*/__user *fr;
800		void /*fr_proto_pvc		*/__user *fr_pvc;
801		void /*fr_proto_pvc_info	*/__user *fr_pvc_info;
802
803		/* interface settings */
804		void /*sync_serial_settings	*/__user *sync;
805		void /*te1_settings		*/__user *te1;
806	} ifs_ifsu;
807};
808
809struct vki_ifreq
810{
811#define VKI_IFHWADDRLEN	6
812	union
813	{
814		char	ifrn_name[VKI_IFNAMSIZ];		/* if name, e.g. "en0" */
815	} ifr_ifrn;
816
817	union {
818		struct	vki_sockaddr ifru_addr;
819		struct	vki_sockaddr ifru_dstaddr;
820		struct	vki_sockaddr ifru_broadaddr;
821		struct	vki_sockaddr ifru_netmask;
822		struct  vki_sockaddr ifru_hwaddr;
823		short	ifru_flags;
824		int	ifru_ivalue;
825		int	ifru_mtu;
826		struct  vki_ifmap ifru_map;
827		char	ifru_slave[VKI_IFNAMSIZ];	/* Just fits the size */
828		char	ifru_newname[VKI_IFNAMSIZ];
829		void __user *	ifru_data;
830		struct	vki_if_settings ifru_settings;
831	} ifr_ifru;
832};
833
834#define vki_ifr_name	ifr_ifrn.ifrn_name	/* interface name 	*/
835#define ifr_hwaddr	ifr_ifru.ifru_hwaddr	/* MAC address 		*/
836#define	ifr_addr	ifr_ifru.ifru_addr	/* address		*/
837#define	ifr_dstaddr	ifr_ifru.ifru_dstaddr	/* other end of p-p lnk	*/
838#define	ifr_broadaddr	ifr_ifru.ifru_broadaddr	/* broadcast address	*/
839#define	ifr_netmask	ifr_ifru.ifru_netmask	/* interface net mask	*/
840#define	vki_ifr_flags	ifr_ifru.ifru_flags	/* flags		*/
841#define	vki_ifr_metric	ifr_ifru.ifru_ivalue	/* metric		*/
842#define	vki_ifr_mtu		ifr_ifru.ifru_mtu	/* mtu			*/
843#define ifr_map		ifr_ifru.ifru_map	/* device map		*/
844#define ifr_slave	ifr_ifru.ifru_slave	/* slave device		*/
845#define	vki_ifr_data	ifr_ifru.ifru_data	/* for use by interface	*/
846#define vki_ifr_ifindex	ifr_ifru.ifru_ivalue	/* interface index	*/
847#define ifr_bandwidth	ifr_ifru.ifru_ivalue    /* link bandwidth	*/
848#define ifr_qlen	ifr_ifru.ifru_ivalue	/* Queue length 	*/
849#define ifr_newname	ifr_ifru.ifru_newname	/* New name		*/
850#define ifr_settings	ifr_ifru.ifru_settings	/* Device/proto settings*/
851
852struct vki_ifconf
853{
854	int	ifc_len;			/* size of buffer	*/
855	union
856	{
857		char __user *ifcu_buf;
858		struct vki_ifreq __user *ifcu_req;
859	} ifc_ifcu;
860};
861#define	vki_ifc_buf	ifc_ifcu.ifcu_buf	/* buffer address	*/
862
863//----------------------------------------------------------------------
864// From linux-2.6.8.1/include/linux/if_arp.h
865//----------------------------------------------------------------------
866
867struct vki_arpreq {
868  struct vki_sockaddr	arp_pa;		/* protocol address		*/
869  struct vki_sockaddr	arp_ha;		/* hardware address		*/
870  int			arp_flags;	/* flags			*/
871  struct vki_sockaddr   arp_netmask;    /* netmask (only for proxy arps) */
872  char			arp_dev[16];
873};
874
875//----------------------------------------------------------------------
876// From linux-2.6.8.1/include/linux/route.h
877//----------------------------------------------------------------------
878
879struct vki_rtentry
880{
881	unsigned long	rt_pad1;
882	struct vki_sockaddr	rt_dst;		/* target address		*/
883	struct vki_sockaddr	rt_gateway;	/* gateway addr (RTF_GATEWAY)	*/
884	struct vki_sockaddr	rt_genmask;	/* target network mask (IP)	*/
885	unsigned short	rt_flags;
886	short		rt_pad2;
887	unsigned long	rt_pad3;
888	void		*rt_pad4;
889	short		rt_metric;	/* +1 for binary compatibility!	*/
890	char __user	*rt_dev;	/* forcing the device at add	*/
891	unsigned long	rt_mtu;		/* per route MTU/Window 	*/
892// [[Not important for Valgrind]]
893//#ifndef __KERNEL__
894//#define rt_mss	rt_mtu		/* Compatibility :-(            */
895//#endif
896	unsigned long	rt_window;	/* Window clamping 		*/
897	unsigned short	rt_irtt;	/* Initial RTT			*/
898};
899
900//----------------------------------------------------------------------
901// From linux-2.6.13-rc5/include/net/sctp/user.h
902//----------------------------------------------------------------------
903
904typedef __vki_s32 vki_sctp_assoc_t;
905
906enum vki_sctp_optname {
907	VKI_SCTP_RTOINFO,
908#define VKI_SCTP_RTOINFO VKI_SCTP_RTOINFO
909	VKI_SCTP_ASSOCINFO,
910#define VKI_SCTP_ASSOCINFO VKI_SCTP_ASSOCINFO
911	VKI_SCTP_INITMSG,
912#define VKI_SCTP_INITMSG VKI_SCTP_INITMSG
913	VKI_SCTP_NODELAY, 	/* Get/set nodelay option. */
914#define VKI_SCTP_NODELAY	VKI_SCTP_NODELAY
915	VKI_SCTP_AUTOCLOSE,
916#define VKI_SCTP_AUTOCLOSE VKI_SCTP_AUTOCLOSE
917	VKI_SCTP_SET_PEER_PRIMARY_ADDR,
918#define VKI_SCTP_SET_PEER_PRIMARY_ADDR VKI_SCTP_SET_PEER_PRIMARY_ADDR
919	VKI_SCTP_PRIMARY_ADDR,
920#define VKI_SCTP_PRIMARY_ADDR VKI_SCTP_PRIMARY_ADDR
921	VKI_SCTP_ADAPTION_LAYER,
922#define VKI_SCTP_ADAPTION_LAYER VKI_SCTP_ADAPTION_LAYER
923	VKI_SCTP_DISABLE_FRAGMENTS,
924#define VKI_SCTP_DISABLE_FRAGMENTS VKI_SCTP_DISABLE_FRAGMENTS
925	VKI_SCTP_PEER_ADDR_PARAMS,
926#define VKI_SCTP_PEER_ADDR_PARAMS VKI_SCTP_PEER_ADDR_PARAMS
927	VKI_SCTP_DEFAULT_SEND_PARAM,
928#define VKI_SCTP_DEFAULT_SEND_PARAM VKI_SCTP_DEFAULT_SEND_PARAM
929	VKI_SCTP_EVENTS,
930#define VKI_SCTP_EVENTS VKI_SCTP_EVENTS
931	VKI_SCTP_I_WANT_MAPPED_V4_ADDR,  /* Turn on/off mapped v4 addresses  */
932#define VKI_SCTP_I_WANT_MAPPED_V4_ADDR VKI_SCTP_I_WANT_MAPPED_V4_ADDR
933	VKI_SCTP_MAXSEG, 	/* Get/set maximum fragment. */
934#define VKI_SCTP_MAXSEG 	VKI_SCTP_MAXSEG
935	VKI_SCTP_STATUS,
936#define VKI_SCTP_STATUS VKI_SCTP_STATUS
937	VKI_SCTP_GET_PEER_ADDR_INFO,
938#define VKI_SCTP_GET_PEER_ADDR_INFO VKI_SCTP_GET_PEER_ADDR_INFO
939
940	/* Internal Socket Options. Some of the sctp library functions are
941	 * implemented using these socket options.
942	 */
943	VKI_SCTP_SOCKOPT_BINDX_ADD = 100,/* BINDX requests for adding addresses. */
944#define VKI_SCTP_SOCKOPT_BINDX_ADD	VKI_SCTP_SOCKOPT_BINDX_ADD
945	VKI_SCTP_SOCKOPT_BINDX_REM, /* BINDX requests for removing addresses. */
946#define VKI_SCTP_SOCKOPT_BINDX_REM	VKI_SCTP_SOCKOPT_BINDX_REM
947	VKI_SCTP_SOCKOPT_PEELOFF, 	/* peel off association. */
948#define VKI_SCTP_SOCKOPT_PEELOFF	VKI_SCTP_SOCKOPT_PEELOFF
949	VKI_SCTP_GET_PEER_ADDRS_NUM, 	/* Get number of peer addresss. */
950#define VKI_SCTP_GET_PEER_ADDRS_NUM	VKI_SCTP_GET_PEER_ADDRS_NUM
951	VKI_SCTP_GET_PEER_ADDRS, 	/* Get all peer addresss. */
952#define VKI_SCTP_GET_PEER_ADDRS	VKI_SCTP_GET_PEER_ADDRS
953	VKI_SCTP_GET_LOCAL_ADDRS_NUM, 	/* Get number of local addresss. */
954#define VKI_SCTP_GET_LOCAL_ADDRS_NUM	VKI_SCTP_GET_LOCAL_ADDRS_NUM
955	VKI_SCTP_GET_LOCAL_ADDRS, 	/* Get all local addresss. */
956#define VKI_SCTP_GET_LOCAL_ADDRS	VKI_SCTP_GET_LOCAL_ADDRS
957	VKI_SCTP_SOCKOPT_CONNECTX, /* CONNECTX requests. */
958#define VKI_SCTP_SOCKOPT_CONNECTX	VKI_SCTP_SOCKOPT_CONNECTX
959};
960
961struct vki_sctp_getaddrs {
962	vki_sctp_assoc_t        assoc_id;
963	int			addr_num;
964	struct vki_sockaddr	*addrs;
965};
966
967//----------------------------------------------------------------------
968// From linux-2.6.8.1/include/linux/resource.h
969//----------------------------------------------------------------------
970
971struct	vki_rusage {
972	struct vki_timeval ru_utime;	/* user time used */
973	struct vki_timeval ru_stime;	/* system time used */
974	long	ru_maxrss;		/* maximum resident set size */
975	long	ru_ixrss;		/* integral shared memory size */
976	long	ru_idrss;		/* integral unshared data size */
977	long	ru_isrss;		/* integral unshared stack size */
978	long	ru_minflt;		/* page reclaims */
979	long	ru_majflt;		/* page faults */
980	long	ru_nswap;		/* swaps */
981	long	ru_inblock;		/* block input operations */
982	long	ru_oublock;		/* block output operations */
983	long	ru_msgsnd;		/* messages sent */
984	long	ru_msgrcv;		/* messages received */
985	long	ru_nsignals;		/* signals received */
986	long	ru_nvcsw;		/* voluntary context switches */
987	long	ru_nivcsw;		/* involuntary " */
988};
989
990struct vki_rlimit {
991	unsigned long	rlim_cur;
992	unsigned long	rlim_max;
993};
994
995struct vki_rlimit64 {
996	__vki_u64 rlim_cur;
997	__vki_u64 rlim_max;
998};
999
1000//----------------------------------------------------------------------
1001// From linux-2.6.8.1/include/linux/elfcore.h
1002//----------------------------------------------------------------------
1003
1004struct vki_elf_siginfo
1005{
1006	int	si_signo;			/* signal number */
1007	int	si_code;			/* extra code */
1008	int	si_errno;			/* errno */
1009};
1010
1011// [[Removed some commented out lines here]]
1012struct vki_elf_prstatus
1013{
1014	struct vki_elf_siginfo pr_info;	/* Info associated with signal */
1015	short	pr_cursig;		/* Current signal */
1016	unsigned long pr_sigpend;	/* Set of pending signals */
1017	unsigned long pr_sighold;	/* Set of held signals */
1018	vki_pid_t	pr_pid;
1019	vki_pid_t	pr_ppid;
1020	vki_pid_t	pr_pgrp;
1021	vki_pid_t	pr_sid;
1022	struct vki_timeval pr_utime;	/* User time */
1023	struct vki_timeval pr_stime;	/* System time */
1024	struct vki_timeval pr_cutime;	/* Cumulative user time */
1025	struct vki_timeval pr_cstime;	/* Cumulative system time */
1026	vki_elf_gregset_t pr_reg;	/* GP registers */
1027	int pr_fpvalid;		/* True if math co-processor being used.  */
1028};
1029
1030#define VKI_ELF_PRARGSZ	(80)	/* Number of chars for args */
1031
1032struct vki_elf_prpsinfo
1033{
1034	char	pr_state;	/* numeric process state */
1035	char	pr_sname;	/* char for pr_state */
1036	char	pr_zomb;	/* zombie */
1037	char	pr_nice;	/* nice val */
1038	unsigned long pr_flag;	/* flags */
1039	__vki_kernel_uid_t	pr_uid;
1040	__vki_kernel_gid_t	pr_gid;
1041	vki_pid_t	pr_pid, pr_ppid, pr_pgrp, pr_sid;
1042	/* Lots missing */
1043	char	pr_fname[16];	/* filename of executable */
1044	char	pr_psargs[VKI_ELF_PRARGSZ];	/* initial part of arg list */
1045};
1046
1047//----------------------------------------------------------------------
1048// From linux-2.6.12.1/include/linux/eventpoll.h
1049//----------------------------------------------------------------------
1050
1051/* Valid opcodes to issue to sys_epoll_ctl() */
1052#define VKI_EPOLL_CTL_ADD 1
1053#define VKI_EPOLL_CTL_DEL 2
1054#define VKI_EPOLL_CTL_MOD 3
1055
1056#ifdef __x86_64__
1057#define VKI_EPOLL_PACKED __attribute__((packed))
1058#else
1059#define VKI_EPOLL_PACKED
1060#endif
1061
1062struct vki_epoll_event {
1063	__vki_u32 events;
1064	__vki_u64 data;
1065} VKI_EPOLL_PACKED;
1066
1067
1068//----------------------------------------------------------------------
1069// From linux-2.6.8.1/include/linux/mqueue.h
1070//----------------------------------------------------------------------
1071
1072struct vki_mq_attr {
1073	long	mq_flags;	/* message queue flags			*/
1074	long	mq_maxmsg;	/* maximum number of messages		*/
1075	long	mq_msgsize;	/* maximum message size			*/
1076	long	mq_curmsgs;	/* number of messages currently queued	*/
1077	long	__reserved[4];	/* ignored for input, zeroed for output */
1078};
1079
1080//----------------------------------------------------------------------
1081// From linux-2.6.8.1/include/linux/utsname.h
1082//----------------------------------------------------------------------
1083
1084struct vki_new_utsname {
1085	char sysname[65];
1086	char nodename[65];
1087	char release[65];
1088	char version[65];
1089	char machine[65];
1090	char domainname[65];
1091};
1092
1093//----------------------------------------------------------------------
1094// From linux-2.6.8.1/include/linux/mii.h
1095//----------------------------------------------------------------------
1096
1097/* This structure is used in all SIOCxMIIxxx ioctl calls */
1098struct vki_mii_ioctl_data {
1099	vki_u16		phy_id;
1100	vki_u16		reg_num;
1101	vki_u16		val_in;
1102	vki_u16		val_out;
1103};
1104
1105//----------------------------------------------------------------------
1106// From linux-2.6.8.1/include/linux/capability.h
1107//----------------------------------------------------------------------
1108
1109// [[capget()/capset() man page says this, ominously:
1110//
1111//   The kernel API is likely to change and use of these functions  (in
1112//   particular the format of the cap_user_*_t types) is subject to
1113//   change with each kernel revision.
1114//
1115// However, the format hasn't changed since at least Linux 2.4.6.]]
1116
1117typedef struct __vki_user_cap_header_struct {
1118	__vki_u32 version;
1119	int pid;
1120} __user *vki_cap_user_header_t;
1121
1122typedef struct __vki_user_cap_data_struct {
1123        __vki_u32 effective;
1124        __vki_u32 permitted;
1125        __vki_u32 inheritable;
1126} __user *vki_cap_user_data_t;
1127
1128
1129//----------------------------------------------------------------------
1130// From linux-2.6.8.1/include/linux/module.h
1131//----------------------------------------------------------------------
1132
1133// [[We do a VKI_SIZEOF_* here because this type is so big, and its size
1134//   depends on the word size, so see vki_arch.h]]
1135
1136//----------------------------------------------------------------------
1137// From linux-2.6.8.1/include/linux/ipc.h
1138//----------------------------------------------------------------------
1139
1140/* Obsolete, used only for backwards compatibility and libc5 compiles */
1141struct vki_ipc_perm
1142{
1143	__vki_kernel_key_t	key;
1144	__vki_kernel_uid_t	uid;
1145	__vki_kernel_gid_t	gid;
1146	__vki_kernel_uid_t	cuid;
1147	__vki_kernel_gid_t	cgid;
1148	__vki_kernel_mode_t	mode;
1149	unsigned short	seq;
1150};
1151
1152#define VKI_IPC_CREAT  00001000   /* create if key is nonexistent */
1153#define VKI_IPC_EXCL   00002000   /* fail if key exists */
1154#define VKI_IPC_NOWAIT 00004000   /* return error on wait */
1155
1156//#define VKI_IPC_RMID 0     /* remove resource */
1157#define VKI_IPC_SET  1     /* set ipc_perm options */
1158#define VKI_IPC_STAT 2     /* get ipc_perm options */
1159#define VKI_IPC_INFO 3     /* see ipcs */
1160
1161#define VKI_IPC_64  0x0100  /* New version (support 32-bit UIDs, bigger
1162			       message sizes, etc. */
1163
1164//----------------------------------------------------------------------
1165// From linux-2.6.8.1/include/linux/sem.h
1166//----------------------------------------------------------------------
1167
1168#define VKI_GETALL  13       /* get all semval's */
1169#define VKI_SETVAL  16       /* set semval */
1170#define VKI_SETALL  17       /* set all semval's */
1171
1172#define VKI_SEM_STAT 18
1173#define VKI_SEM_INFO 19
1174
1175/* Obsolete, used only for backwards compatibility and libc5 compiles */
1176struct vki_semid_ds {
1177	struct vki_ipc_perm	sem_perm;		/* permissions .. see ipc.h */
1178	__vki_kernel_time_t	sem_otime;		/* last semop time */
1179	__vki_kernel_time_t	sem_ctime;		/* last change time */
1180        // [[Use void* to avoid excess header copying]]
1181	void/*struct sem	*/*sem_base;		/* ptr to first semaphore in array */
1182	void/*struct sem_queue */*sem_pending;		/* pending operations to be processed */
1183	void/*struct sem_queue */**sem_pending_last;	/* last pending operation */
1184	void/*struct sem_undo	*/*undo;			/* undo requests on this array */
1185	unsigned short	sem_nsems;		/* no. of semaphores in array */
1186};
1187
1188struct vki_sembuf {
1189	unsigned short  sem_num;	/* semaphore index in array */
1190	short		sem_op;		/* semaphore operation */
1191	short		sem_flg;	/* operation flags */
1192};
1193
1194union vki_semun {
1195	int val;			/* value for SETVAL */
1196	struct vki_semid_ds __user *buf;	/* buffer for IPC_STAT & IPC_SET */
1197	unsigned short __user *array;	/* array for GETALL & SETALL */
1198	struct vki_seminfo __user *__buf;	/* buffer for IPC_INFO */
1199	void __user *__pad;
1200};
1201
1202struct  vki_seminfo {
1203	int semmap;
1204	int semmni;
1205	int semmns;
1206	int semmnu;
1207	int semmsl;
1208	int semopm;
1209	int semume;
1210	int semusz;
1211	int semvmx;
1212	int semaem;
1213};
1214
1215//----------------------------------------------------------------------
1216// From linux-2.6.8.1/include/asm-generic/errno-base.h
1217//----------------------------------------------------------------------
1218
1219#define	VKI_EPERM		 1	/* Operation not permitted */
1220#define	VKI_ENOENT		 2	/* No such file or directory */
1221#define	VKI_ESRCH		 3	/* No such process */
1222#define	VKI_EINTR		 4	/* Interrupted system call */
1223#define	VKI_EIO			 5	/* I/O error */
1224#define	VKI_ENXIO		 6	/* No such device or address */
1225#define	VKI_E2BIG		 7	/* Argument list too long */
1226#define	VKI_ENOEXEC		 8	/* Exec format error */
1227#define	VKI_EBADF		 9	/* Bad file number */
1228#define	VKI_ECHILD		10	/* No child processes */
1229#define	VKI_EAGAIN		11	/* Try again */
1230#define	VKI_ENOMEM		12	/* Out of memory */
1231#define	VKI_EACCES		13	/* Permission denied */
1232#define	VKI_EFAULT		14	/* Bad address */
1233#define	VKI_ENOTBLK		15	/* Block device required */
1234#define	VKI_EBUSY		16	/* Device or resource busy */
1235#define	VKI_EEXIST		17	/* File exists */
1236#define	VKI_EXDEV		18	/* Cross-device link */
1237#define	VKI_ENODEV		19	/* No such device */
1238#define	VKI_ENOTDIR		20	/* Not a directory */
1239#define	VKI_EISDIR		21	/* Is a directory */
1240#define	VKI_EINVAL		22	/* Invalid argument */
1241#define	VKI_ENFILE		23	/* File table overflow */
1242#define	VKI_EMFILE		24	/* Too many open files */
1243#define	VKI_ENOTTY		25	/* Not a typewriter */
1244#define	VKI_ETXTBSY		26	/* Text file busy */
1245#define	VKI_EFBIG		27	/* File too large */
1246#define	VKI_ENOSPC		28	/* No space left on device */
1247#define	VKI_ESPIPE		29	/* Illegal seek */
1248#define	VKI_EROFS		30	/* Read-only file system */
1249#define	VKI_EMLINK		31	/* Too many links */
1250#define	VKI_EPIPE		32	/* Broken pipe */
1251#define	VKI_EDOM		33	/* Math argument out of domain of func */
1252#define	VKI_ERANGE		34	/* Math result not representable */
1253
1254//----------------------------------------------------------------------
1255// From linux-2.6.8.1/include/asm-generic/errno.h
1256//----------------------------------------------------------------------
1257
1258#define VKI_EWOULDBLOCK		VKI_EAGAIN
1259
1260//----------------------------------------------------------------------
1261// From linux-2.6.8.1/include/linux/wait.h
1262//----------------------------------------------------------------------
1263
1264#define VKI_WNOHANG	0x00000001
1265
1266#define __VKI_WALL	0x40000000	/* Wait on all children, regardless of type */
1267#define __VKI_WCLONE	0x80000000	/* Wait only on non-SIGCHLD children */
1268
1269//----------------------------------------------------------------------
1270// From linux-2.6.8.1/include/linux/mman.h
1271//----------------------------------------------------------------------
1272
1273#define VKI_MREMAP_MAYMOVE	1
1274#define VKI_MREMAP_FIXED	2
1275
1276//----------------------------------------------------------------------
1277// From linux-2.6.31-rc4/include/linux/futex.h
1278//----------------------------------------------------------------------
1279
1280#define VKI_FUTEX_WAIT (0)
1281#define VKI_FUTEX_WAKE (1)
1282#define VKI_FUTEX_FD (2)
1283#define VKI_FUTEX_REQUEUE (3)
1284#define VKI_FUTEX_CMP_REQUEUE (4)
1285#define VKI_FUTEX_WAKE_OP (5)
1286#define VKI_FUTEX_LOCK_PI (6)
1287#define VKI_FUTEX_UNLOCK_PI (7)
1288#define VKI_FUTEX_TRYLOCK_PI (8)
1289#define VKI_FUTEX_WAIT_BITSET (9)
1290#define VKI_FUTEX_WAKE_BITSET (10)
1291#define VKI_FUTEX_WAIT_REQUEUE_PI (11)
1292#define VKI_FUTEX_CMP_REQUEUE_PI (12)
1293#define VKI_FUTEX_PRIVATE_FLAG (128)
1294#define VKI_FUTEX_CLOCK_REALTIME (256)
1295
1296struct vki_robust_list {
1297	struct vki_robust_list __user *next;
1298};
1299
1300struct vki_robust_list_head {
1301	/*
1302	 * The head of the list. Points back to itself if empty:
1303	 */
1304	struct vki_robust_list list;
1305
1306	/*
1307	 * This relative offset is set by user-space, it gives the kernel
1308	 * the relative position of the futex field to examine. This way
1309	 * we keep userspace flexible, to freely shape its data-structure,
1310	 * without hardcoding any particular offset into the kernel:
1311	 */
1312	long futex_offset;
1313
1314	/*
1315	 * The death of the thread may race with userspace setting
1316	 * up a lock's links. So to handle this race, userspace first
1317	 * sets this field to the address of the to-be-taken lock,
1318	 * then does the lock acquire, and then adds itself to the
1319	 * list, and then clears this field. Hence the kernel will
1320	 * always have full knowledge of all locks that the thread
1321	 * _might_ have taken. We check the owner TID in any case,
1322	 * so only truly owned locks will be handled.
1323	 */
1324	struct vki_robust_list __user *list_op_pending;
1325};
1326
1327//----------------------------------------------------------------------
1328// From linux-2.6.8.1/include/linux/errno.h
1329//----------------------------------------------------------------------
1330
1331#define VKI_ERESTARTSYS	512
1332
1333//----------------------------------------------------------------------
1334// From linux-2.6.8.1/include/linux/stat.h
1335//----------------------------------------------------------------------
1336
1337#define VKI_S_IFMT  00170000
1338#define VKI_S_IFSOCK 0140000
1339#define VKI_S_IFLNK  0120000
1340#define VKI_S_IFREG  0100000
1341#define VKI_S_IFBLK  0060000
1342#define VKI_S_IFDIR  0040000
1343#define VKI_S_IFCHR  0020000
1344#define VKI_S_IFIFO  0010000
1345#define VKI_S_ISUID  0004000
1346#define VKI_S_ISGID  0002000
1347#define VKI_S_ISVTX  0001000
1348
1349#define VKI_S_ISLNK(m)	(((m) & VKI_S_IFMT) == VKI_S_IFLNK)
1350#define VKI_S_ISREG(m)	(((m) & VKI_S_IFMT) == VKI_S_IFREG)
1351#define VKI_S_ISDIR(m)	(((m) & VKI_S_IFMT) == VKI_S_IFDIR)
1352#define VKI_S_ISCHR(m)	(((m) & VKI_S_IFMT) == VKI_S_IFCHR)
1353#define VKI_S_ISBLK(m)	(((m) & VKI_S_IFMT) == VKI_S_IFBLK)
1354#define VKI_S_ISFIFO(m)	(((m) & VKI_S_IFMT) == VKI_S_IFIFO)
1355#define VKI_S_ISSOCK(m)	(((m) & VKI_S_IFMT) == VKI_S_IFSOCK)
1356
1357#define VKI_S_IRWXU 00700
1358#define VKI_S_IRUSR 00400
1359#define VKI_S_IWUSR 00200
1360#define VKI_S_IXUSR 00100
1361
1362#define VKI_S_IRWXG 00070
1363#define VKI_S_IRGRP 00040
1364#define VKI_S_IWGRP 00020
1365#define VKI_S_IXGRP 00010
1366
1367#define VKI_S_IRWXO 00007
1368#define VKI_S_IROTH 00004
1369#define VKI_S_IWOTH 00002
1370#define VKI_S_IXOTH 00001
1371
1372//----------------------------------------------------------------------
1373// From linux-2.6.8.1/include/linux/dirent.h
1374//----------------------------------------------------------------------
1375
1376/* This is the old compat structure to use with the old dirent syscall. */
1377struct vki_dirent {
1378	long		d_ino;
1379	__vki_kernel_off_t	d_off;
1380	unsigned short	d_reclen;
1381	char		d_name[256]; /* We must not include limits.h! */
1382};
1383
1384/* This is the new structure to use with the dirent64 syscall. */
1385struct vki_dirent64 {
1386	__vki_u64 d_ino;
1387	__vki_s64 d_off;
1388	unsigned short d_reclen;
1389	unsigned char d_type;
1390	char d_name[256]; /* Note we hard code a max file length here. */
1391};
1392
1393//----------------------------------------------------------------------
1394// From linux-2.6.8.1/include/linux/fcntl.h
1395//----------------------------------------------------------------------
1396
1397#define VKI_F_SETLEASE      (VKI_F_LINUX_SPECIFIC_BASE + 0)
1398#define VKI_F_GETLEASE      (VKI_F_LINUX_SPECIFIC_BASE + 1)
1399
1400#define VKI_F_CANCELLK      (VKI_F_LINUX_SPECIFIC_BASE + 5)
1401
1402#define VKI_F_DUPFD_CLOEXEC (VKI_F_LINUX_SPECIFIC_BASE + 6)
1403
1404#define VKI_F_NOTIFY        (VKI_F_LINUX_SPECIFIC_BASE + 2)
1405
1406#define VKI_F_SETPIPE_SZ    (VKI_F_LINUX_SPECIFIC_BASE + 7)
1407#define VKI_F_GETPIPE_SZ    (VKI_F_LINUX_SPECIFIC_BASE + 8)
1408
1409//----------------------------------------------------------------------
1410// From linux-2.6.8.1/include/linux/sysctl.h
1411//----------------------------------------------------------------------
1412
1413struct __vki_sysctl_args {
1414	int __user *name;
1415	int nlen;
1416	void __user *oldval;
1417	vki_size_t __user *oldlenp;
1418	void __user *newval;
1419	vki_size_t newlen;
1420	unsigned long __unused0[4];
1421};
1422
1423//----------------------------------------------------------------------
1424// From linux-2.6.8.1/include/linux/aio_abi.h
1425//----------------------------------------------------------------------
1426
1427typedef unsigned long	vki_aio_context_t;
1428
1429enum {
1430	VKI_IOCB_CMD_PREAD = 0,
1431	VKI_IOCB_CMD_PWRITE = 1,
1432	VKI_IOCB_CMD_FSYNC = 2,
1433	VKI_IOCB_CMD_FDSYNC = 3,
1434	VKI_IOCB_CMD_PREADV = 7,
1435	VKI_IOCB_CMD_PWRITEV = 8,
1436};
1437
1438/* read() from /dev/aio returns these structures. */
1439struct vki_io_event {
1440	__vki_u64	data;		/* the data field from the iocb */
1441	__vki_u64	obj;		/* what iocb this event came from */
1442        // [[Nb: These fields renamed from 'res' and 'res2' because 'res' is
1443        //   a macro in vg_syscalls.c!]]
1444	__vki_s64	result;		/* result code for this event */
1445	__vki_s64	result2;	/* secondary result */
1446};
1447
1448#if defined(VKI_LITTLE_ENDIAN)
1449#  define VKI_PADDED(x,y)	x, y
1450#elif defined(VKI_BIG_ENDIAN)
1451#  define VKI_PADDED(x,y)	y, x
1452#else
1453#error edit for your odd byteorder.
1454#endif
1455
1456struct vki_iocb {
1457	/* these are internal to the kernel/libc. */
1458	__vki_u64	aio_data;	/* data to be returned in event's data */
1459	__vki_u32	VKI_PADDED(aio_key, aio_reserved1);
1460				/* the kernel sets aio_key to the req # */
1461
1462	/* common fields */
1463	__vki_u16	aio_lio_opcode;	/* see IOCB_CMD_ above */
1464	__vki_s16	aio_reqprio;
1465	__vki_u32	aio_fildes;
1466
1467	__vki_u64	aio_buf;
1468	__vki_u64	aio_nbytes;
1469	__vki_s64	aio_offset;
1470
1471	/* extra parameters */
1472	__vki_u64	aio_reserved2;	/* TODO: use this for a (struct sigevent *) */
1473	__vki_u64	aio_reserved3;
1474}; /* 64 bytes */
1475
1476//----------------------------------------------------------------------
1477// From linux-2.6.8.1/include/linux/aio.h
1478//----------------------------------------------------------------------
1479
1480struct vki_aio_ring {
1481	unsigned	id;	/* kernel internal index number */
1482	unsigned	nr;	/* number of io_events */
1483	unsigned	head;
1484	unsigned	tail;
1485
1486	unsigned	magic;
1487	unsigned	compat_features;
1488	unsigned	incompat_features;
1489	unsigned	header_length;	/* size of aio_ring */
1490
1491	struct vki_io_event		io_events[0];
1492}; /* 128 bytes + ring size */
1493
1494//----------------------------------------------------------------------
1495// From linux-2.6.8.1/include/linux/msg.h
1496//----------------------------------------------------------------------
1497
1498#define VKI_MSG_STAT 11
1499#define VKI_MSG_INFO 12
1500
1501struct vki_msqid_ds {
1502	struct vki_ipc_perm msg_perm;
1503	struct vki_msg *msg_first;		/* first message on queue,unused  */
1504	struct vki_msg *msg_last;		/* last message in queue,unused */
1505	__vki_kernel_time_t msg_stime;	/* last msgsnd time */
1506	__vki_kernel_time_t msg_rtime;	/* last msgrcv time */
1507	__vki_kernel_time_t msg_ctime;	/* last change time */
1508	unsigned long  msg_lcbytes;	/* Reuse junk fields for 32 bit */
1509	unsigned long  msg_lqbytes;	/* ditto */
1510	unsigned short msg_cbytes;	/* current number of bytes on queue */
1511	unsigned short msg_qnum;	/* number of messages in queue */
1512	unsigned short msg_qbytes;	/* max number of bytes on queue */
1513	__vki_kernel_ipc_pid_t msg_lspid;	/* pid of last msgsnd */
1514	__vki_kernel_ipc_pid_t msg_lrpid;	/* last receive pid */
1515};
1516
1517struct vki_msgbuf {
1518	long mtype;         /* type of message */
1519	char mtext[1];      /* message text */
1520};
1521
1522struct vki_msginfo {
1523	int msgpool;
1524	int msgmap;
1525	int msgmax;
1526	int msgmnb;
1527	int msgmni;
1528	int msgssz;
1529	int msgtql;
1530	unsigned short  msgseg;
1531};
1532
1533//----------------------------------------------------------------------
1534// From linux-2.6.8.1/include/linux/shm.h
1535//----------------------------------------------------------------------
1536
1537struct vki_shmid_ds {
1538	struct vki_ipc_perm		shm_perm;	/* operation perms */
1539	int			shm_segsz;	/* size of segment (bytes) */
1540	__vki_kernel_time_t		shm_atime;	/* last attach time */
1541	__vki_kernel_time_t		shm_dtime;	/* last detach time */
1542	__vki_kernel_time_t		shm_ctime;	/* last change time */
1543	__vki_kernel_ipc_pid_t	shm_cpid;	/* pid of creator */
1544	__vki_kernel_ipc_pid_t	shm_lpid;	/* pid of last operator */
1545	unsigned short		shm_nattch;	/* no. of current attaches */
1546	unsigned short 		shm_unused;	/* compatibility */
1547	void 			*shm_unused2;	/* ditto - used by DIPC */
1548	void			*shm_unused3;	/* unused */
1549};
1550
1551#define VKI_SHM_RDONLY  010000  /* read-only access */
1552#define VKI_SHM_RND     020000  /* round attach address to SHMLBA boundary */
1553
1554#define VKI_SHM_STAT 	13
1555#define VKI_SHM_INFO 	14
1556
1557/* Obsolete, used only for backwards compatibility */
1558struct	vki_shminfo {
1559	int shmmax;
1560	int shmmin;
1561	int shmmni;
1562	int shmseg;
1563	int shmall;
1564};
1565
1566struct vki_shm_info {
1567	int used_ids;
1568	unsigned long shm_tot;	/* total allocated shm */
1569	unsigned long shm_rss;	/* total resident shm */
1570	unsigned long shm_swp;	/* total swapped shm */
1571	unsigned long swap_attempts;
1572	unsigned long swap_successes;
1573};
1574
1575//----------------------------------------------------------------------
1576// From linux-2.6.8.1/include/linux/rtc.h
1577//----------------------------------------------------------------------
1578
1579struct vki_rtc_time {
1580	int tm_sec;
1581	int tm_min;
1582	int tm_hour;
1583	int tm_mday;
1584	int tm_mon;
1585	int tm_year;
1586	int tm_wday;
1587	int tm_yday;
1588	int tm_isdst;
1589};
1590
1591#define VKI_RTC_AIE_ON	_VKI_IO('p', 0x01)	/* Alarm int. enable on	*/
1592#define VKI_RTC_AIE_OFF	_VKI_IO('p', 0x02)	/* ... off		*/
1593#define VKI_RTC_UIE_ON	_VKI_IO('p', 0x03)	/* Update int. enable on*/
1594#define VKI_RTC_UIE_OFF	_VKI_IO('p', 0x04)	/* ... off		*/
1595#define VKI_RTC_PIE_ON	_VKI_IO('p', 0x05)	/* Periodic int. enable on*/
1596#define VKI_RTC_PIE_OFF	_VKI_IO('p', 0x06)	/* ... off		*/
1597
1598#define VKI_RTC_ALM_SET		_VKI_IOW('p', 0x07, struct vki_rtc_time) /* Set alarm time  */
1599#define VKI_RTC_ALM_READ	_VKI_IOR('p', 0x08, struct vki_rtc_time) /* Read alarm time */
1600#define VKI_RTC_RD_TIME		_VKI_IOR('p', 0x09, struct vki_rtc_time) /* Read RTC time   */
1601//#define RTC_SET_TIME	_IOW('p', 0x0a, struct rtc_time) /* Set RTC time    */
1602#define VKI_RTC_IRQP_READ	_VKI_IOR('p', 0x0b, unsigned long)	 /* Read IRQ rate   */
1603#define VKI_RTC_IRQP_SET	_VKI_IOW('p', 0x0c, unsigned long)	 /* Set IRQ rate    */
1604
1605//----------------------------------------------------------------------
1606// From linux-2.6.8.1/include/linux/isdn.h
1607//----------------------------------------------------------------------
1608
1609// [[Nb: Resolved this for the common case where CONFIG_COBALT_MICRO_SERVER
1610//   is not defined]]
1611#define VKI_ISDN_MAX_CHANNELS   64
1612
1613#define VKI_IIOCGETCPS  _VKI_IO('I',21)
1614
1615#define VKI_IIOCNETGPN  _VKI_IO('I',34)
1616
1617#define VKI_ISDN_MSNLEN          32
1618
1619typedef struct {
1620  char name[10];
1621  char phone[VKI_ISDN_MSNLEN];
1622  int  outgoing;
1623} vki_isdn_net_ioctl_phone;
1624
1625//----------------------------------------------------------------------
1626// From linux-2.6.8.1/include/linux/sockios.h
1627//----------------------------------------------------------------------
1628
1629#define VKI_SIOCOUTQ		VKI_TIOCOUTQ
1630
1631#define VKI_SIOCADDRT		0x890B	/* add routing table entry	*/
1632#define VKI_SIOCDELRT		0x890C	/* delete routing table entry	*/
1633
1634#define VKI_SIOCGIFNAME		0x8910	/* get iface name		*/
1635#define VKI_SIOCGIFCONF		0x8912	/* get iface list		*/
1636#define VKI_SIOCGIFFLAGS	0x8913	/* get flags			*/
1637#define VKI_SIOCSIFFLAGS	0x8914	/* set flags			*/
1638#define VKI_SIOCGIFADDR		0x8915	/* get PA address		*/
1639#define VKI_SIOCSIFADDR		0x8916	/* set PA address		*/
1640#define VKI_SIOCGIFDSTADDR	0x8917	/* get remote PA address	*/
1641#define VKI_SIOCSIFDSTADDR	0x8918	/* set remote PA address	*/
1642#define VKI_SIOCGIFBRDADDR	0x8919	/* get broadcast PA address	*/
1643#define VKI_SIOCSIFBRDADDR	0x891a	/* set broadcast PA address	*/
1644#define VKI_SIOCGIFNETMASK	0x891b	/* get network PA mask		*/
1645#define VKI_SIOCSIFNETMASK	0x891c	/* set network PA mask		*/
1646#define VKI_SIOCGIFMETRIC	0x891d	/* get metric			*/
1647#define VKI_SIOCSIFMETRIC	0x891e	/* set metric			*/
1648#define VKI_SIOCGIFMTU		0x8921	/* get MTU size			*/
1649#define VKI_SIOCSIFMTU		0x8922	/* set MTU size			*/
1650#define	VKI_SIOCSIFHWADDR	0x8924	/* set hardware address 	*/
1651#define VKI_SIOCGIFHWADDR	0x8927	/* Get hardware address		*/
1652#define VKI_SIOCGIFINDEX	0x8933	/* name -> if_index mapping	*/
1653
1654#define VKI_SIOCGIFTXQLEN	0x8942	/* Get the tx queue length	*/
1655#define VKI_SIOCSIFTXQLEN	0x8943	/* Set the tx queue length 	*/
1656
1657#define VKI_SIOCETHTOOL		0x8946	/* Ethtool interface		*/
1658
1659#define VKI_SIOCGMIIPHY		0x8947	/* Get address of MII PHY in use. */
1660#define VKI_SIOCGMIIREG		0x8948	/* Read MII PHY register.	*/
1661#define VKI_SIOCSMIIREG		0x8949	/* Write MII PHY register.	*/
1662
1663#define VKI_SIOCDARP		0x8953	/* delete ARP table entry	*/
1664#define VKI_SIOCGARP		0x8954	/* get ARP table entry		*/
1665#define VKI_SIOCSARP		0x8955	/* set ARP table entry		*/
1666
1667#define VKI_SIOCDRARP		0x8960	/* delete RARP table entry	*/
1668#define VKI_SIOCGRARP		0x8961	/* get RARP table entry		*/
1669#define VKI_SIOCSRARP		0x8962	/* set RARP table entry		*/
1670
1671#define VKI_SIOCGIFMAP		0x8970	/* Get device parameters	*/
1672#define VKI_SIOCSIFMAP		0x8971	/* Set device parameters	*/
1673
1674#define VKI_SIOCSHWTSTAMP	0x89B0	/* Set hardware time stamping */
1675
1676//----------------------------------------------------------------------
1677// From linux-2.6.8.1/include/linux/ppdev.h
1678//----------------------------------------------------------------------
1679
1680#define VKI_PP_MAJOR	99
1681
1682#define VKI_PP_IOCTL	'p'
1683
1684/* Set mode for read/write (e.g. IEEE1284_MODE_EPP) */
1685#define VKI_PPSETMODE	_VKI_IOW(VKI_PP_IOCTL, 0x80, int)
1686
1687/* Read status */
1688#define VKI_PPRSTATUS	_VKI_IOR(VKI_PP_IOCTL, 0x81, unsigned char)
1689//#define PPWSTATUS	OBSOLETE__IOW(PP_IOCTL, 0x82, unsigned char)
1690
1691/* Read/write control */
1692#define VKI_PPRCONTROL	_VKI_IOR(VKI_PP_IOCTL, 0x83, unsigned char)
1693#define VKI_PPWCONTROL	_VKI_IOW(VKI_PP_IOCTL, 0x84, unsigned char)
1694
1695struct vki_ppdev_frob_struct {
1696	unsigned char mask;
1697	unsigned char val;
1698};
1699#define VKI_PPFCONTROL      _VKI_IOW(VKI_PP_IOCTL, 0x8e, struct vki_ppdev_frob_struct)
1700
1701/* Read/write data */
1702#define VKI_PPRDATA		_VKI_IOR(VKI_PP_IOCTL, 0x85, unsigned char)
1703#define VKI_PPWDATA		_VKI_IOW(VKI_PP_IOCTL, 0x86, unsigned char)
1704
1705/* Claim the port to start using it */
1706#define VKI_PPCLAIM		_VKI_IO(VKI_PP_IOCTL, 0x8b)
1707
1708/* Release the port when you aren't using it */
1709#define VKI_PPRELEASE	_VKI_IO(VKI_PP_IOCTL, 0x8c)
1710
1711/* Yield the port (release it if another driver is waiting,
1712 * then reclaim) */
1713#define VKI_PPYIELD		_VKI_IO(VKI_PP_IOCTL, 0x8d)
1714
1715/* Register device exclusively (must be before PPCLAIM). */
1716#define VKI_PPEXCL		_VKI_IO(VKI_PP_IOCTL, 0x8f)
1717
1718/* Data line direction: non-zero for input mode. */
1719#define VKI_PPDATADIR	_VKI_IOW(VKI_PP_IOCTL, 0x90, int)
1720
1721/* Negotiate a particular IEEE 1284 mode. */
1722#define VKI_PPNEGOT	_VKI_IOW(VKI_PP_IOCTL, 0x91, int)
1723
1724/* Set control lines when an interrupt occurs. */
1725#define VKI_PPWCTLONIRQ	_VKI_IOW(VKI_PP_IOCTL, 0x92, unsigned char)
1726
1727/* Clear (and return) interrupt count. */
1728#define VKI_PPCLRIRQ	_VKI_IOR(VKI_PP_IOCTL, 0x93, int)
1729
1730/* Set the IEEE 1284 phase that we're in (e.g. IEEE1284_PH_FWD_IDLE) */
1731#define VKI_PPSETPHASE	_VKI_IOW(VKI_PP_IOCTL, 0x94, int)
1732
1733/* Set and get port timeout (struct timeval's) */
1734#define VKI_PPGETTIME	_VKI_IOR(VKI_PP_IOCTL, 0x95, struct vki_timeval)
1735#define VKI_PPSETTIME	_VKI_IOW(VKI_PP_IOCTL, 0x96, struct vki_timeval)
1736
1737#define VKI_PPGETMODES	_VKI_IOR(VKI_PP_IOCTL, 0x97, unsigned int)
1738
1739#define VKI_PPGETMODE	_VKI_IOR(VKI_PP_IOCTL, 0x98, int)
1740#define VKI_PPGETPHASE	_VKI_IOR(VKI_PP_IOCTL, 0x99, int)
1741
1742#define VKI_PPGETFLAGS	_VKI_IOR(VKI_PP_IOCTL, 0x9a, int)
1743#define VKI_PPSETFLAGS	_VKI_IOW(VKI_PP_IOCTL, 0x9b, int)
1744
1745//----------------------------------------------------------------------
1746// From linux-3.16/include/uapi/linux/fs.h
1747//----------------------------------------------------------------------
1748
1749#define VKI_BLKROSET   _VKI_IO(0x12,93)	/* set device read-only (0 = read-write) */
1750#define VKI_BLKROGET   _VKI_IO(0x12,94)	/* get read-only status (0 = read_write) */
1751#define VKI_BLKGETSIZE _VKI_IO(0x12,96) /* return device size /512 (long *arg) */
1752#define VKI_BLKRASET   _VKI_IO(0x12,98)	/* set read ahead for block device */
1753#define VKI_BLKRAGET   _VKI_IO(0x12,99)	/* get current read ahead setting */
1754#define VKI_BLKFRASET  _VKI_IO(0x12,100)/* set filesystem (mm/filemap.c) read-ahead */
1755#define VKI_BLKFRAGET  _VKI_IO(0x12,101)/* get filesystem (mm/filemap.c) read-ahead */
1756#define VKI_BLKSECTGET _VKI_IO(0x12,103)/* get max sectors per request (ll_rw_blk.c) */
1757#define VKI_BLKSSZGET  _VKI_IO(0x12,104)/* get block device sector size */
1758#define VKI_BLKBSZGET  _VKI_IOR(0x12,112,vki_size_t)
1759#define VKI_BLKBSZSET  _VKI_IOW(0x12,113,vki_size_t)
1760#define VKI_BLKGETSIZE64 _VKI_IOR(0x12,114,vki_size_t) /* return device size in bytes (u64 *arg) */
1761#define VKI_BLKPBSZGET _VKI_IO(0x12,123)
1762#define VKI_BLKDISCARDZEROES _VKI_IO(0x12,124)
1763
1764#define VKI_FIBMAP	_VKI_IO(0x00,1)	/* bmap access */
1765#define VKI_FIGETBSZ    _VKI_IO(0x00,2)	/* get the block size used for bmap */
1766
1767//----------------------------------------------------------------------
1768// From linux-2.6.8.1/include/scsi/sg.h
1769//----------------------------------------------------------------------
1770
1771typedef struct vki_sg_io_hdr
1772{
1773    int interface_id;           /* [i] 'S' for SCSI generic (required) */
1774    int dxfer_direction;        /* [i] data transfer direction  */
1775    unsigned char cmd_len;      /* [i] SCSI command length ( <= 16 bytes) */
1776    unsigned char mx_sb_len;    /* [i] max length to write to sbp */
1777    unsigned short iovec_count; /* [i] 0 implies no scatter gather */
1778    unsigned int dxfer_len;     /* [i] byte count of data transfer */
1779    void __user *dxferp;	/* [i], [*io] points to data transfer memory
1780					      or scatter gather list */
1781    unsigned char __user *cmdp; /* [i], [*i] points to command to perform */
1782    void __user *sbp;		/* [i], [*o] points to sense_buffer memory */
1783    unsigned int timeout;       /* [i] MAX_UINT->no timeout (unit: millisec) */
1784    unsigned int flags;         /* [i] 0 -> default, see SG_FLAG... */
1785    int pack_id;                /* [i->o] unused internally (normally) */
1786    void __user * usr_ptr;      /* [i->o] unused internally */
1787    unsigned char status;       /* [o] scsi status */
1788    unsigned char masked_status;/* [o] shifted, masked scsi status */
1789    unsigned char msg_status;   /* [o] messaging level data (optional) */
1790    unsigned char sb_len_wr;    /* [o] byte count actually written to sbp */
1791    unsigned short host_status; /* [o] errors from host adapter */
1792    unsigned short driver_status;/* [o] errors from software driver */
1793    int resid;                  /* [o] dxfer_len - actual_transferred */
1794    unsigned int duration;      /* [o] time taken by cmd (unit: millisec) */
1795    unsigned int info;          /* [o] auxiliary information */
1796} vki_sg_io_hdr_t;  /* 64 bytes long (on i386) */
1797
1798#define VKI_SG_DXFER_NONE -1        /* e.g. a SCSI Test Unit Ready command */
1799#define VKI_SG_DXFER_TO_DEV -2      /* e.g. a SCSI WRITE command */
1800#define VKI_SG_DXFER_FROM_DEV -3    /* e.g. a SCSI READ command */
1801#define VKI_SG_DXFER_TO_FROM_DEV -4 /* treated like SG_DXFER_FROM_DEV with the
1802				   additional property than during indirect
1803				   IO the user buffer is copied into the
1804				   kernel buffers before the transfer */
1805
1806typedef struct vki_sg_scsi_id { /* used by SG_GET_SCSI_ID ioctl() */
1807    int host_no;        /* as in "scsi<n>" where 'n' is one of 0, 1, 2 etc */
1808    int channel;
1809    int scsi_id;        /* scsi id of target device */
1810    int lun;
1811    int scsi_type;      /* TYPE_... defined in scsi/scsi.h */
1812    short h_cmd_per_lun;/* host (adapter) maximum commands per lun */
1813    short d_queue_depth;/* device (or adapter) maximum queue length */
1814    int unused[2];      /* probably find a good use, set 0 for now */
1815} vki_sg_scsi_id_t; /* 32 bytes long on i386 */
1816
1817#define VKI_SG_EMULATED_HOST 0x2203 /* true for emulated host adapter (ATAPI) */
1818
1819#define VKI_SG_SET_RESERVED_SIZE 0x2275  /* request a new reserved buffer size */
1820#define VKI_SG_GET_RESERVED_SIZE 0x2272  /* actual size of reserved buffer */
1821
1822#define VKI_SG_GET_SCSI_ID 0x2276   /* Yields fd's bus, chan, dev, lun + type */
1823
1824#define VKI_SG_GET_SG_TABLESIZE 0x227F  /* 0 implies can't do scatter gather */
1825
1826#define VKI_SG_GET_VERSION_NUM 0x2282 /* Example: version 2.1.34 yields 20134 */
1827
1828#define VKI_SG_IO 0x2285   /* similar effect as write() followed by read() */
1829
1830#define VKI_SG_SET_TIMEOUT 0x2201  /* unit: jiffies (10ms on i386) */
1831#define VKI_SG_GET_TIMEOUT 0x2202  /* yield timeout as _return_ value */
1832
1833//#define SG_GET_COMMAND_Q 0x2270   /* Yields 0 (queuing off) or 1 (on) */
1834#define VKI_SG_SET_COMMAND_Q 0x2271   /* Change queuing state with 0 or 1 */
1835
1836//----------------------------------------------------------------------
1837// From linux-2.6.34/include/scsi/scsi.h and scsi/scsi_ioctl.h
1838//----------------------------------------------------------------------
1839
1840#define VKI_SCSI_IOCTL_DOORLOCK		0x5380 /* Lock the eject mechanism.  */
1841#define VKI_SCSI_IOCTL_DOORUNLOCK	0x5381 /* Unlock the mechanism.  */
1842#define VKI_SCSI_IOCTL_GET_IDLUN	0x5382
1843#define VKI_SCSI_IOCTL_GET_BUS_NUMBER	0x5386
1844
1845struct vki_scsi_idlun {
1846	__vki_u32 dev_id;
1847	__vki_u32 host_unique_id;
1848};
1849
1850//----------------------------------------------------------------------
1851// From linux-2.6.8.1/include/linux/cdrom.h
1852//----------------------------------------------------------------------
1853
1854#define VKI_CDROMPLAYMSF		0x5303 /* Play Audio MSF (struct cdrom_msf) */
1855#define VKI_CDROMREADTOCHDR		0x5305 /* Read TOC header
1856                                	           (struct cdrom_tochdr) */
1857#define VKI_CDROMREADTOCENTRY		0x5306 /* Read TOC entry
1858                                	           (struct cdrom_tocentry) */
1859#define VKI_CDROMSUBCHNL		0x530b /* Read subchannel data
1860                                	           (struct cdrom_subchnl) */
1861#define VKI_CDROMREADMODE2		0x530c /* Read CDROM mode 2 data (2336 Bytes)
1862                                	           (struct cdrom_read) */
1863#define VKI_CDROMREADAUDIO		0x530e /* (struct cdrom_read_audio) */
1864#define VKI_CDROMMULTISESSION		0x5310 /* Obtain the start-of-last-session
1865                                	           address of multi session disks
1866                                	           (struct cdrom_multisession) */
1867#define VKI_CDROM_GET_MCN		0x5311 /* Obtain the "Universal Product Code"
1868                                	           if available (struct cdrom_mcn) */
1869#define VKI_CDROMVOLREAD		0x5313 /* Get the drive's volume setting
1870                                	          (struct cdrom_volctrl) */
1871#define VKI_CDROMREADRAW		0x5314	/* read data in raw mode (2352 Bytes)
1872                                	           (struct cdrom_read) */
1873#define VKI_CDROM_CLEAR_OPTIONS		0x5321  /* Clear behavior options */
1874#define VKI_CDROM_DRIVE_STATUS		0x5326  /* Get tray position, etc. */
1875#define VKI_CDROM_DISC_STATUS		0x5327	/* get CD type information */
1876#define VKI_CDROM_GET_CAPABILITY	0x5331	/* get capabilities */
1877
1878#define VKI_CDROM_SEND_PACKET		0x5393	/* send a packet to the drive */
1879
1880struct vki_cdrom_msf0
1881{
1882	__vki_u8	minute;
1883	__vki_u8	second;
1884	__vki_u8	frame;
1885};
1886
1887union vki_cdrom_addr
1888{
1889	struct vki_cdrom_msf0	msf;
1890	int			lba;
1891};
1892
1893struct vki_cdrom_msf
1894{
1895	__vki_u8	cdmsf_min0;	/* start minute */
1896	__vki_u8	cdmsf_sec0;	/* start second */
1897	__vki_u8	cdmsf_frame0;	/* start frame */
1898	__vki_u8	cdmsf_min1;	/* end minute */
1899	__vki_u8	cdmsf_sec1;	/* end second */
1900	__vki_u8	cdmsf_frame1;	/* end frame */
1901};
1902
1903struct vki_cdrom_tochdr
1904{
1905	__vki_u8	cdth_trk0;	/* start track */
1906	__vki_u8	cdth_trk1;	/* end track */
1907};
1908
1909struct vki_cdrom_volctrl
1910{
1911	__vki_u8	channel0;
1912	__vki_u8	channel1;
1913	__vki_u8	channel2;
1914	__vki_u8	channel3;
1915};
1916
1917struct vki_cdrom_subchnl
1918{
1919	__vki_u8	cdsc_format;
1920	__vki_u8	cdsc_audiostatus;
1921	__vki_u8	cdsc_adr:	4;
1922	__vki_u8	cdsc_ctrl:	4;
1923	__vki_u8	cdsc_trk;
1924	__vki_u8	cdsc_ind;
1925	union vki_cdrom_addr cdsc_absaddr;
1926	union vki_cdrom_addr cdsc_reladdr;
1927};
1928
1929struct vki_cdrom_tocentry
1930{
1931	__vki_u8	cdte_track;
1932	__vki_u8	cdte_adr	:4;
1933	__vki_u8	cdte_ctrl	:4;
1934	__vki_u8	cdte_format;
1935	union vki_cdrom_addr cdte_addr;
1936	__vki_u8	cdte_datamode;
1937};
1938
1939struct vki_cdrom_read
1940{
1941	int	cdread_lba;
1942	char 	*cdread_bufaddr;
1943	int	cdread_buflen;
1944};
1945
1946struct vki_cdrom_read_audio
1947{
1948	union vki_cdrom_addr addr; /* frame address */
1949	__vki_u8 addr_format;      /* CDROM_LBA or CDROM_MSF */
1950	int nframes;           /* number of 2352-byte-frames to read at once */
1951	__vki_u8 __user *buf;      /* frame buffer (size: nframes*2352 bytes) */
1952};
1953
1954struct vki_cdrom_multisession
1955{
1956	union vki_cdrom_addr addr; /* frame address: start-of-last-session
1957	                           (not the new "frame 16"!).  Only valid
1958	                           if the "xa_flag" is true. */
1959	__vki_u8 xa_flag;        /* 1: "is XA disk" */
1960	__vki_u8 addr_format;    /* CDROM_LBA or CDROM_MSF */
1961};
1962
1963struct vki_cdrom_mcn
1964{
1965  __vki_u8 medium_catalog_number[14]; /* 13 ASCII digits, null-terminated */
1966};
1967
1968#define VKI_CDROM_PACKET_SIZE	12
1969
1970struct vki_cdrom_generic_command
1971{
1972	unsigned char 		cmd[VKI_CDROM_PACKET_SIZE];
1973	unsigned char		__user *buffer;
1974	unsigned int 		buflen;
1975	int			stat;
1976        // [[replace with void* to reduce inclusion amounts]]
1977	void/*struct vki_request_sense	*/__user *sense;
1978	unsigned char		data_direction;
1979	int			quiet;
1980	int			timeout;
1981	void			__user *reserved[1];	/* unused, actually */
1982};
1983
1984#define VKI_CD_SYNC_SIZE         12 /* 12 sync bytes per raw data frame */
1985#define VKI_CD_HEAD_SIZE          4 /* header (address) bytes per raw data frame */
1986#define VKI_CD_FRAMESIZE_RAW   2352 /* bytes per frame, "raw" mode */
1987#define VKI_CD_FRAMESIZE_RAW0 (VKI_CD_FRAMESIZE_RAW-VKI_CD_SYNC_SIZE-VKI_CD_HEAD_SIZE) /*2336*/
1988
1989//----------------------------------------------------------------------
1990// From linux-2.6.8.1/include/linux/soundcard.h
1991//----------------------------------------------------------------------
1992
1993#ifndef _VKI_SIOWR
1994#if defined(_VKI_IOWR) && (defined(_AIX) || (!defined(sun) && !defined(sparc) && !defined(__sparc__) && !defined(__INCioctlh) && !defined(__Lynx__)))
1995/* Use already defined ioctl defines if they exist (except with Sun or Sparc) */
1996#define	_VKI_SIO		_VKI_IO
1997#define	_VKI_SIOR		_VKI_IOR
1998#define	_VKI_SIOW		_VKI_IOW
1999#define	_VKI_SIOWR		_VKI_IOWR
2000#else
2001// [[Valgrind: Install this case if/when necessary]
2002#error Valgrind: Cannot handle sparc/sun case yet...
2003#  endif /* _IOWR */
2004#endif  /* !_VKI_SIOWR */
2005
2006#define VKI_SNDCTL_SEQ_CTRLRATE		_VKI_SIOWR('Q', 3, int)	/* Set/get timer resolution (HZ) */
2007#define VKI_SNDCTL_SEQ_GETOUTCOUNT	_VKI_SIOR ('Q', 4, int)
2008#define VKI_SNDCTL_SEQ_GETINCOUNT	_VKI_SIOR ('Q', 5, int)
2009#define VKI_SNDCTL_SEQ_PERCMODE		_VKI_SIOW ('Q', 6, int)
2010#define VKI_SNDCTL_SEQ_TESTMIDI		_VKI_SIOW ('Q', 8, int)
2011#define VKI_SNDCTL_SEQ_RESETSAMPLES	_VKI_SIOW ('Q', 9, int)
2012#define VKI_SNDCTL_SEQ_NRSYNTHS		_VKI_SIOR ('Q',10, int)
2013#define VKI_SNDCTL_SEQ_NRMIDIS		_VKI_SIOR ('Q',11, int)
2014#define VKI_SNDCTL_SEQ_GETTIME		_VKI_SIOR ('Q',19, int)
2015
2016#define VKI_SNDCTL_TMR_TIMEBASE		_VKI_SIOWR('T', 1, int)
2017#define VKI_SNDCTL_TMR_TEMPO		_VKI_SIOWR('T', 5, int)
2018#define VKI_SNDCTL_TMR_SOURCE		_VKI_SIOWR('T', 6, int)
2019
2020#define VKI_SNDCTL_MIDI_PRETIME		_VKI_SIOWR('m', 0, int)
2021#define VKI_SNDCTL_MIDI_MPUMODE		_VKI_SIOWR('m', 1, int)
2022
2023#define VKI_SNDCTL_DSP_RESET		_VKI_SIO  ('P', 0)
2024#define VKI_SNDCTL_DSP_SYNC		_VKI_SIO  ('P', 1)
2025#define VKI_SNDCTL_DSP_SPEED		_VKI_SIOWR('P', 2, int)
2026#define VKI_SNDCTL_DSP_STEREO		_VKI_SIOWR('P', 3, int)
2027#define VKI_SNDCTL_DSP_GETBLKSIZE	_VKI_SIOWR('P', 4, int)
2028#define VKI_SNDCTL_DSP_CHANNELS		_VKI_SIOWR('P', 6, int)
2029#define VKI_SOUND_PCM_WRITE_FILTER	_VKI_SIOWR('P', 7, int)
2030#define VKI_SNDCTL_DSP_POST		_VKI_SIO  ('P', 8)
2031#define VKI_SNDCTL_DSP_SUBDIVIDE	_VKI_SIOWR('P', 9, int)
2032#define VKI_SNDCTL_DSP_SETFRAGMENT	_VKI_SIOWR('P',10, int)
2033
2034#define VKI_SNDCTL_DSP_GETFMTS		_VKI_SIOR ('P',11, int) /* Returns a mask */
2035#define VKI_SNDCTL_DSP_SETFMT		_VKI_SIOWR('P', 5, int) /* Selects ONE fmt */
2036
2037typedef struct vki_audio_buf_info {
2038			int fragments;	/* # of available fragments (partially usend ones not counted) */
2039			int fragstotal;	/* Total # of fragments allocated */
2040			int fragsize;	/* Size of a fragment in bytes */
2041
2042			int bytes;	/* Available space in bytes (includes partially used fragments) */
2043			/* Note! 'bytes' could be more than fragments*fragsize */
2044		} vki_audio_buf_info;
2045
2046#define VKI_SNDCTL_DSP_GETOSPACE	_VKI_SIOR ('P',12, vki_audio_buf_info)
2047#define VKI_SNDCTL_DSP_GETISPACE	_VKI_SIOR ('P',13, vki_audio_buf_info)
2048#define VKI_SNDCTL_DSP_NONBLOCK		_VKI_SIO  ('P',14)
2049#define VKI_SNDCTL_DSP_GETCAPS		_VKI_SIOR ('P',15, int)
2050
2051#define VKI_SNDCTL_DSP_GETTRIGGER	_VKI_SIOR ('P',16, int)
2052#define VKI_SNDCTL_DSP_SETTRIGGER	_VKI_SIOW ('P',16, int)
2053
2054#define VKI_SNDCTL_DSP_SETSYNCRO	_VKI_SIO  ('P', 21)
2055#define VKI_SNDCTL_DSP_SETDUPLEX	_VKI_SIO  ('P', 22)
2056#define VKI_SNDCTL_DSP_GETODELAY	_VKI_SIOR ('P', 23, int)
2057
2058#define VKI_SNDCTL_DSP_GETCHANNELMASK	_VKI_SIOWR('P', 64, int)
2059#define VKI_SNDCTL_DSP_BIND_CHANNEL	_VKI_SIOWR('P', 65, int)
2060
2061#define VKI_SNDCTL_DSP_SETSPDIF		_VKI_SIOW ('P', 66, int)
2062#define VKI_SNDCTL_DSP_GETSPDIF		_VKI_SIOR ('P', 67, int)
2063
2064#define VKI_SOUND_PCM_READ_RATE		_VKI_SIOR ('P', 2, int)
2065#define VKI_SOUND_PCM_READ_CHANNELS	_VKI_SIOR ('P', 6, int)
2066#define VKI_SOUND_PCM_READ_BITS		_VKI_SIOR ('P', 5, int)
2067#define VKI_SOUND_PCM_READ_FILTER	_VKI_SIOR ('P', 7, int)
2068
2069
2070//----------------------------------------------------------------------
2071// From linux-2.6.8.1/include/linux/hdreg.h
2072//----------------------------------------------------------------------
2073
2074struct vki_hd_geometry {
2075      unsigned char heads;
2076      unsigned char sectors;
2077      unsigned short cylinders;
2078      unsigned long start;
2079};
2080
2081#define VKI_HDIO_GETGEO		0x0301	/* get device geometry */
2082#define VKI_HDIO_GET_DMA	0x030b	/* get use-dma flag */
2083#define VKI_HDIO_GET_IDENTITY	0x030d	/* get IDE identification info */
2084
2085// [[Nb: done like this because the original type is a huge struct that will
2086//   always be the same size.]]
2087#define VKI_SIZEOF_STRUCT_HD_DRIVEID   512
2088
2089//----------------------------------------------------------------------
2090// From linux-2.6.8.1/include/linux/fb.h
2091//----------------------------------------------------------------------
2092
2093#define VKI_FBIOGET_VSCREENINFO	0x4600
2094#define VKI_FBIOPUT_VSCREENINFO	0x4601
2095#define VKI_FBIOGET_FSCREENINFO	0x4602
2096#define VKI_FBIOPAN_DISPLAY	0x4606
2097
2098struct vki_fb_fix_screeninfo {
2099	char id[16];			/* identification string eg "TT Builtin" */
2100	unsigned long smem_start;	/* Start of frame buffer mem */
2101					/* (physical address) */
2102	__vki_u32 smem_len;			/* Length of frame buffer mem */
2103	__vki_u32 type;			/* see FB_TYPE_*		*/
2104	__vki_u32 type_aux;		/* Interleave for interleaved Planes */
2105	__vki_u32 visual;		/* see FB_VISUAL_*		*/
2106	__vki_u16 xpanstep;		/* zero if no hardware panning  */
2107	__vki_u16 ypanstep;		/* zero if no hardware panning  */
2108	__vki_u16 ywrapstep;		/* zero if no hardware ywrap    */
2109	__vki_u32 line_length;		/* length of a line in bytes    */
2110	unsigned long mmio_start;	/* Start of Memory Mapped I/O   */
2111					/* (physical address) */
2112	__vki_u32 mmio_len;		/* Length of Memory Mapped I/O  */
2113	__vki_u32 accel;		/* Indicate to driver which	*/
2114					/*  specific chip/card we have	*/
2115	__vki_u16 reserved[3];		/* Reserved for future compatibility */
2116};
2117
2118struct vki_fb_bitfield {
2119	__vki_u32 offset;		/* beginning of bitfield	*/
2120	__vki_u32 length;		/* length of bitfield		*/
2121	__vki_u32 msb_right;		/* != 0 : Most significant bit is */
2122					/* right */
2123};
2124
2125struct vki_fb_var_screeninfo {
2126	__vki_u32 xres;			/* visible resolution		*/
2127	__vki_u32 yres;
2128	__vki_u32 xres_virtual;		/* virtual resolution		*/
2129	__vki_u32 yres_virtual;
2130	__vki_u32 xoffset;		/* offset from virtual to visible */
2131	__vki_u32 yoffset;		/* resolution			*/
2132
2133	__vki_u32 bits_per_pixel;	/* guess what			*/
2134	__vki_u32 grayscale;		/* != 0 Graylevels instead of colors */
2135
2136	struct vki_fb_bitfield red;	/* bitfield in fb mem if true color, */
2137	struct vki_fb_bitfield green;	/* else only length is significant */
2138	struct vki_fb_bitfield blue;
2139	struct vki_fb_bitfield transp;	/* transparency			*/
2140
2141	__vki_u32 nonstd;		/* != 0 Non standard pixel format */
2142
2143	__vki_u32 activate;		/* see FB_ACTIVATE_*		*/
2144
2145	__vki_u32 height;		/* height of picture in mm    */
2146	__vki_u32 width;		/* width of picture in mm     */
2147
2148	__vki_u32 accel_flags;		/* (OBSOLETE) see fb_info.flags */
2149
2150	/* Timing: All values in pixclocks, except pixclock (of course) */
2151	__vki_u32 pixclock;		/* pixel clock in ps (pico seconds) */
2152	__vki_u32 left_margin;		/* time from sync to picture	*/
2153	__vki_u32 right_margin;		/* time from picture to sync	*/
2154	__vki_u32 upper_margin;		/* time from sync to picture	*/
2155	__vki_u32 lower_margin;
2156	__vki_u32 hsync_len;		/* length of horizontal sync	*/
2157	__vki_u32 vsync_len;		/* length of vertical sync	*/
2158	__vki_u32 sync;			/* see FB_SYNC_*		*/
2159	__vki_u32 vmode;		/* see FB_VMODE_*		*/
2160	__vki_u32 rotate;		/* angle we rotate counter clockwise */
2161	__vki_u32 reserved[5];		/* Reserved for future compatibility */
2162};
2163
2164//----------------------------------------------------------------------
2165// From linux-2.6.9/include/linux/kd.h
2166//----------------------------------------------------------------------
2167
2168#define VKI_GIO_FONT       0x4B60  /* gets font in expanded form */
2169#define VKI_PIO_FONT       0x4B61  /* use font in expanded form */
2170
2171#define VKI_GIO_FONTX      0x4B6B  /* get font using struct consolefontdesc */
2172#define VKI_PIO_FONTX      0x4B6C  /* set font using struct consolefontdesc */
2173struct vki_consolefontdesc {
2174	unsigned short charcount;	/* characters in font (256 or 512) */
2175	unsigned short charheight;	/* scan lines per character (1-32) */
2176	char __user *chardata;		/* font data in expanded form */
2177};
2178
2179#define VKI_PIO_FONTRESET  0x4B6D  /* reset to default font */
2180
2181#define VKI_GIO_CMAP       0x4B70  /* gets colour palette on VGA+ */
2182#define VKI_PIO_CMAP       0x4B71  /* sets colour palette on VGA+ */
2183
2184#define VKI_KIOCSOUND      0x4B2F  /* start sound generation (0 for off) */
2185#define VKI_KDMKTONE       0x4B30  /* generate tone */
2186
2187#define VKI_KDGETLED       0x4B31  /* return current led state */
2188#define VKI_KDSETLED       0x4B32  /* set led state [lights, not flags] */
2189
2190#define VKI_KDGKBTYPE      0x4B33  /* get keyboard type */
2191
2192#define VKI_KDADDIO        0x4B34  /* add i/o port as valid */
2193#define VKI_KDDELIO        0x4B35  /* del i/o port as valid */
2194#define VKI_KDENABIO       0x4B36  /* enable i/o to video board */
2195#define VKI_KDDISABIO      0x4B37  /* disable i/o to video board */
2196
2197#define VKI_KDSETMODE      0x4B3A  /* set text/graphics mode */
2198#define VKI_KDGETMODE      0x4B3B  /* get current mode */
2199
2200#define VKI_KDMAPDISP      0x4B3C  /* map display into address space */
2201#define VKI_KDUNMAPDISP    0x4B3D  /* unmap display from address space */
2202
2203#define		VKI_E_TABSZ		256
2204#define VKI_GIO_SCRNMAP    0x4B40  /* get screen mapping from kernel */
2205#define VKI_PIO_SCRNMAP	   0x4B41  /* put screen mapping table in kernel */
2206#define VKI_GIO_UNISCRNMAP 0x4B69  /* get full Unicode screen mapping */
2207#define VKI_PIO_UNISCRNMAP 0x4B6A  /* set full Unicode screen mapping */
2208
2209#define VKI_GIO_UNIMAP     0x4B66  /* get unicode-to-font mapping from kernel */
2210struct vki_unipair {
2211	unsigned short unicode;
2212	unsigned short fontpos;
2213};
2214struct vki_unimapdesc {
2215	unsigned short entry_ct;
2216	struct vki_unipair __user *entries;
2217};
2218#define VKI_PIO_UNIMAP     0x4B67  /* put unicode-to-font mapping in kernel */
2219#define VKI_PIO_UNIMAPCLR  0x4B68  /* clear table, possibly advise hash algorithm */
2220struct vki_unimapinit {
2221	unsigned short advised_hashsize;  /* 0 if no opinion */
2222	unsigned short advised_hashstep;  /* 0 if no opinion */
2223	unsigned short advised_hashlevel; /* 0 if no opinion */
2224};
2225
2226#define VKI_KDGKBMODE      0x4B44  /* gets current keyboard mode */
2227#define VKI_KDSKBMODE      0x4B45  /* sets current keyboard mode */
2228
2229#define VKI_KDGKBMETA      0x4B62  /* gets meta key handling mode */
2230#define VKI_KDSKBMETA      0x4B63  /* sets meta key handling mode */
2231
2232#define VKI_KDGKBLED       0x4B64  /* get led flags (not lights) */
2233#define VKI_KDSKBLED       0x4B65  /* set led flags (not lights) */
2234
2235struct vki_kbentry {
2236	unsigned char kb_table;
2237	unsigned char kb_index;
2238	unsigned short kb_value;
2239};
2240#define VKI_KDGKBENT       0x4B46  /* gets one entry in translation table */
2241#define VKI_KDSKBENT       0x4B47  /* sets one entry in translation table */
2242
2243struct vki_kbsentry {
2244	unsigned char kb_func;
2245	unsigned char kb_string[512];
2246};
2247#define VKI_KDGKBSENT      0x4B48  /* gets one function key string entry */
2248#define VKI_KDSKBSENT      0x4B49  /* sets one function key string entry */
2249
2250struct vki_kbdiacr {
2251        unsigned char diacr, base, result;
2252};
2253struct vki_kbdiacrs {
2254        unsigned int kb_cnt;    /* number of entries in following array */
2255	struct vki_kbdiacr kbdiacr[256];    /* MAX_DIACR from keyboard.h */
2256};
2257#define VKI_KDGKBDIACR     0x4B4A  /* read kernel accent table */
2258#define VKI_KDSKBDIACR     0x4B4B  /* write kernel accent table */
2259
2260struct vki_kbkeycode {
2261	unsigned int scancode, keycode;
2262};
2263#define VKI_KDGETKEYCODE   0x4B4C  /* read kernel keycode table entry */
2264#define VKI_KDSETKEYCODE   0x4B4D  /* write kernel keycode table entry */
2265
2266#define VKI_KDSIGACCEPT    0x4B4E  /* accept kbd generated signals */
2267
2268struct vki_kbd_repeat {
2269	int delay;	/* in msec; <= 0: don't change */
2270	int period;	/* in msec; <= 0: don't change */
2271			/* earlier this field was misnamed "rate" */
2272};
2273#define VKI_KDKBDREP       0x4B52  /* set keyboard delay/repeat rate;
2274                                    * actually used values are returned */
2275
2276#define VKI_KDFONTOP       0x4B72  /* font operations */
2277
2278struct vki_console_font_op {
2279	unsigned int op;	/* operation code KD_FONT_OP_* */
2280	unsigned int flags;	/* KD_FONT_FLAG_* */
2281	unsigned int width, height;	/* font size */
2282	unsigned int charcount;
2283	unsigned char __user *data;	/* font data with height fixed to 32 */
2284};
2285
2286#define VKI_KD_FONT_OP_SET		0	/* Set font */
2287#define VKI_KD_FONT_OP_GET		1	/* Get font */
2288#define VKI_KD_FONT_OP_SET_DEFAULT	2	/* Set font to default, data points to name / NULL */
2289#define VKI_KD_FONT_OP_COPY		3	/* Copy from another console */
2290
2291//----------------------------------------------------------------------
2292// From linux-2.6.9/include/linux/kb.h
2293//----------------------------------------------------------------------
2294
2295typedef __vki_kernel_uid32_t vki_qid_t; /* Type in which we store ids in memory */
2296
2297//----------------------------------------------------------------------
2298// From linux-2.6.20.1/include/linux/ptrace.h
2299//----------------------------------------------------------------------
2300
2301#define VKI_PTRACE_TRACEME         0
2302#define VKI_PTRACE_PEEKTEXT	   1
2303#define VKI_PTRACE_PEEKDATA	   2
2304#define VKI_PTRACE_PEEKUSR	   3
2305#define VKI_PTRACE_POKEUSR	   6
2306
2307#define VKI_PTRACE_DETACH         17
2308
2309#define VKI_PTRACE_GETEVENTMSG	0x4201
2310#define VKI_PTRACE_GETSIGINFO	0x4202
2311#define VKI_PTRACE_SETSIGINFO	0x4203
2312#define VKI_PTRACE_GETREGSET	0x4204
2313#define VKI_PTRACE_SETREGSET	0x4205
2314
2315//----------------------------------------------------------------------
2316// From linux-2.6.14/include/sound/asound.h
2317//----------------------------------------------------------------------
2318
2319enum {
2320	VKI_SNDRV_PCM_IOCTL_HW_FREE = _VKI_IO('A', 0x12),
2321	VKI_SNDRV_PCM_IOCTL_HWSYNC = _VKI_IO('A', 0x22),
2322	VKI_SNDRV_PCM_IOCTL_PREPARE = _VKI_IO('A', 0x40),
2323	VKI_SNDRV_PCM_IOCTL_RESET = _VKI_IO('A', 0x41),
2324	VKI_SNDRV_PCM_IOCTL_START = _VKI_IO('A', 0x42),
2325	VKI_SNDRV_PCM_IOCTL_DROP = _VKI_IO('A', 0x43),
2326	VKI_SNDRV_PCM_IOCTL_DRAIN = _VKI_IO('A', 0x44),
2327	VKI_SNDRV_PCM_IOCTL_PAUSE = _VKI_IOW('A', 0x45, int),
2328	VKI_SNDRV_PCM_IOCTL_RESUME = _VKI_IO('A', 0x47),
2329	VKI_SNDRV_PCM_IOCTL_XRUN = _VKI_IO('A', 0x48),
2330	VKI_SNDRV_PCM_IOCTL_LINK = _VKI_IOW('A', 0x60, int),
2331	VKI_SNDRV_PCM_IOCTL_UNLINK = _VKI_IO('A', 0x61),
2332};
2333
2334enum {
2335	VKI_SNDRV_TIMER_IOCTL_START = _VKI_IO('T', 0xa0),
2336	VKI_SNDRV_TIMER_IOCTL_STOP = _VKI_IO('T', 0xa1),
2337	VKI_SNDRV_TIMER_IOCTL_CONTINUE = _VKI_IO('T', 0xa2),
2338	VKI_SNDRV_TIMER_IOCTL_PAUSE = _VKI_IO('T', 0xa3),
2339};
2340
2341struct vki_snd_ctl_card_info {
2342	int card;			/* card number */
2343	int pad;			/* reserved for future (was type) */
2344	unsigned char id[16];		/* ID of card (user selectable) */
2345	unsigned char driver[16];	/* Driver name */
2346	unsigned char name[32];		/* Short name of soundcard */
2347	unsigned char longname[80];	/* name + info text about soundcard */
2348	unsigned char reserved_[16];	/* reserved for future (was ID of mixer) */
2349	unsigned char mixername[80];	/* visual mixer identification */
2350	unsigned char components[128];	/* card components / fine identification, delimited with one space (AC97 etc..) */
2351};
2352
2353typedef int vki_snd_ctl_elem_iface_t;
2354#define	VKI_SNDRV_CTL_ELEM_IFACE_CARD		((vki_snd_ctl_elem_iface_t) 0) /* global control */
2355#define	VKI_SNDRV_CTL_ELEM_IFACE_HWDEP		((vki_snd_ctl_elem_iface_t) 1) /* hardware dependent device */
2356#define	VKI_SNDRV_CTL_ELEM_IFACE_MIXER		((vki_snd_ctl_elem_iface_t) 2) /* virtual mixer device */
2357#define	VKI_SNDRV_CTL_ELEM_IFACE_PCM		((vki_snd_ctl_elem_iface_t) 3) /* PCM device */
2358#define	VKI_SNDRV_CTL_ELEM_IFACE_RAWMIDI	((vki_snd_ctl_elem_iface_t) 4) /* RawMidi device */
2359#define	VKI_SNDRV_CTL_ELEM_IFACE_TIMER		((vki_snd_ctl_elem_iface_t) 5) /* timer device */
2360#define	VKI_SNDRV_CTL_ELEM_IFACE_SEQUENCER	((vki_snd_ctl_elem_iface_t) 6) /* sequencer client */
2361#define	VKI_SNDRV_CTL_ELEM_IFACE_LAST		VKI_SNDRV_CTL_ELEM_IFACE_SEQUENCER
2362
2363struct vki_snd_ctl_elem_id {
2364	unsigned int numid;		/* numeric identifier, zero = invalid */
2365	vki_snd_ctl_elem_iface_t iface;	/* interface identifier */
2366	unsigned int device;		/* device/client number */
2367	unsigned int subdevice;		/* subdevice (substream) number */
2368	unsigned char name[44];		/* ASCII name of item */
2369	unsigned int index;		/* index of item */
2370};
2371
2372struct vki_snd_ctl_elem_list {
2373	unsigned int offset;		/* W: first element ID to get */
2374	unsigned int space;		/* W: count of element IDs to get */
2375	unsigned int used;		/* R: count of element IDs set */
2376	unsigned int count;		/* R: count of all elements */
2377	struct vki_snd_ctl_elem_id __user *pids; /* R: IDs */
2378	unsigned char reserved[50];
2379};
2380
2381struct vki_snd_ctl_tlv {
2382    unsigned int numid;	/* control element numeric identification */
2383    unsigned int length;	/* in bytes aligned to 4 */
2384    unsigned int tlv[0];	/* first TLV */
2385};
2386
2387#define VKI_SNDRV_CTL_IOCTL_PVERSION	_VKI_IOR('U', 0x00, int)
2388#define VKI_SNDRV_CTL_IOCTL_CARD_INFO	_VKI_IOR('U', 0x01, struct vki_snd_ctl_card_info)
2389#define VKI_SNDRV_CTL_IOCTL_ELEM_LIST	_VKI_IOWR('U', 0x10, struct vki_snd_ctl_elem_list)
2390#define VKI_SNDRV_CTL_IOCTL_TLV_READ	_VKI_IOWR('U', 0x1a, struct vki_snd_ctl_tlv)
2391#define VKI_SNDRV_CTL_IOCTL_TLV_WRITE	_VKI_IOWR('U', 0x1b, struct vki_snd_ctl_tlv)
2392#define VKI_SNDRV_CTL_IOCTL_TLV_COMMAND	_VKI_IOWR('U', 0x1c, struct vki_snd_ctl_tlv)
2393
2394//----------------------------------------------------------------------
2395// From linux-2.6.15.4/include/linux/serial.h
2396//----------------------------------------------------------------------
2397
2398struct vki_serial_icounter_struct {
2399	int cts, dsr, rng, dcd;
2400	int rx, tx;
2401	int frame, overrun, parity, brk;
2402	int buf_overrun;
2403	int reserved[9];
2404};
2405
2406//----------------------------------------------------------------------
2407// From linux-2.6.16/include/linux/vt.h
2408//----------------------------------------------------------------------
2409
2410#define VKI_VT_OPENQRY	0x5600	/* find available vt */
2411
2412struct vki_vt_mode {
2413	char mode;		/* vt mode */
2414	char waitv;		/* if set, hang on writes if not active */
2415	short relsig;		/* signal to raise on release req */
2416	short acqsig;		/* signal to raise on acquisition */
2417	short frsig;		/* unused (set to 0) */
2418};
2419#define VKI_VT_GETMODE	0x5601	/* get mode of active vt */
2420#define VKI_VT_SETMODE	0x5602	/* set mode of active vt */
2421
2422struct vki_vt_stat {
2423	unsigned short v_active;	/* active vt */
2424	unsigned short v_signal;	/* signal to send */
2425	unsigned short v_state;		/* vt bitmask */
2426};
2427#define VKI_VT_GETSTATE	0x5603	/* get global vt state info */
2428#define VKI_VT_SENDSIG	0x5604	/* signal to send to bitmask of vts */
2429
2430#define VKI_VT_RELDISP	0x5605	/* release display */
2431
2432#define VKI_VT_ACTIVATE	0x5606	/* make vt active */
2433#define VKI_VT_WAITACTIVE	0x5607	/* wait for vt active */
2434#define VKI_VT_DISALLOCATE	0x5608  /* free memory associated to vt */
2435
2436struct vki_vt_sizes {
2437	unsigned short v_rows;		/* number of rows */
2438	unsigned short v_cols;		/* number of columns */
2439	unsigned short v_scrollsize;	/* number of lines of scrollback */
2440};
2441#define VKI_VT_RESIZE	0x5609	/* set kernel's idea of screensize */
2442
2443struct vki_vt_consize {
2444	unsigned short v_rows;	/* number of rows */
2445	unsigned short v_cols;	/* number of columns */
2446	unsigned short v_vlin;	/* number of pixel rows on screen */
2447	unsigned short v_clin;	/* number of pixel rows per character */
2448	unsigned short v_vcol;	/* number of pixel columns on screen */
2449	unsigned short v_ccol;	/* number of pixel columns per character */
2450};
2451#define VKI_VT_RESIZEX      0x560A  /* set kernel's idea of screensize + more */
2452#define VKI_VT_LOCKSWITCH   0x560B  /* disallow vt switching */
2453#define VKI_VT_UNLOCKSWITCH 0x560C  /* allow vt switching */
2454
2455//----------------------------------------------------------------------
2456// From linux-2.6.19/include/linux/prctl.h
2457//----------------------------------------------------------------------
2458
2459#define VKI_PR_SET_PDEATHSIG  1  /* Second arg is a signal */
2460#define VKI_PR_GET_PDEATHSIG  2  /* Second arg is a ptr to return the signal */
2461
2462#define VKI_PR_GET_DUMPABLE   3
2463#define VKI_PR_SET_DUMPABLE   4
2464
2465#define VKI_PR_GET_UNALIGN	  5
2466#define VKI_PR_SET_UNALIGN	  6
2467# define VKI_PR_UNALIGN_NOPRINT	1	/* silently fix up unaligned user accesses */
2468# define VKI_PR_UNALIGN_SIGBUS	2	/* generate SIGBUS on unaligned user access */
2469
2470#define VKI_PR_GET_KEEPCAPS   7
2471#define VKI_PR_SET_KEEPCAPS   8
2472
2473#define VKI_PR_GET_FPEMU  9
2474#define VKI_PR_SET_FPEMU 10
2475# define VKI_PR_FPEMU_NOPRINT	1	/* silently emulate fp operations accesses */
2476# define VKI_PR_FPEMU_SIGFPE	2	/* don't emulate fp operations, send SIGFPE instead */
2477
2478#define VKI_PR_GET_FPEXC	11
2479#define VKI_PR_SET_FPEXC	12
2480# define VKI_PR_FP_EXC_SW_ENABLE	0x80	/* Use FPEXC for FP exception enables */
2481# define VKI_PR_FP_EXC_DIV		0x010000	/* floating point divide by zero */
2482# define VKI_PR_FP_EXC_OVF		0x020000	/* floating point overflow */
2483# define VKI_PR_FP_EXC_UND		0x040000	/* floating point underflow */
2484# define VKI_PR_FP_EXC_RES		0x080000	/* floating point inexact result */
2485# define VKI_PR_FP_EXC_INV		0x100000	/* floating point invalid operation */
2486# define VKI_PR_FP_EXC_DISABLED	0	/* FP exceptions disabled */
2487# define VKI_PR_FP_EXC_NONRECOV	1	/* async non-recoverable exc. mode */
2488# define VKI_PR_FP_EXC_ASYNC	2	/* async recoverable exception mode */
2489# define VKI_PR_FP_EXC_PRECISE	3	/* precise exception mode */
2490
2491#define VKI_PR_GET_TIMING   13
2492#define VKI_PR_SET_TIMING   14
2493# define VKI_PR_TIMING_STATISTICAL  0       /* Normal, traditional,
2494                                                   statistical process timing */
2495# define VKI_PR_TIMING_TIMESTAMP    1       /* Accurate timestamp based
2496                                                   process timing */
2497
2498#define VKI_PR_SET_NAME    15		/* Set process name */
2499#define VKI_PR_GET_NAME    16		/* Get process name */
2500
2501#define VKI_PR_GET_ENDIAN	19
2502#define VKI_PR_SET_ENDIAN	20
2503# define VKI_PR_ENDIAN_BIG		0
2504# define VKI_PR_ENDIAN_LITTLE	1	/* True little endian mode */
2505# define VKI_PR_ENDIAN_PPC_LITTLE	2	/* "PowerPC" pseudo little endian */
2506
2507//----------------------------------------------------------------------
2508// From linux-2.6.19/include/linux/usbdevice_fs.h
2509//----------------------------------------------------------------------
2510
2511struct vki_usbdevfs_ctrltransfer {
2512	__vki_u8 bRequestType;
2513	__vki_u8 bRequest;
2514	__vki_u16 wValue;
2515	__vki_u16 wIndex;
2516	__vki_u16 wLength;
2517	__vki_u32 timeout;  /* in milliseconds */
2518 	void __user *data;
2519};
2520
2521struct vki_usbdevfs_bulktransfer {
2522	unsigned int ep;
2523	unsigned int len;
2524	unsigned int timeout; /* in milliseconds */
2525	void __user *data;
2526};
2527
2528#define VKI_USBDEVFS_MAXDRIVERNAME 255
2529
2530struct vki_usbdevfs_getdriver {
2531	unsigned int interface;
2532	char driver[VKI_USBDEVFS_MAXDRIVERNAME + 1];
2533};
2534
2535struct vki_usbdevfs_connectinfo {
2536	unsigned int devnum;
2537	unsigned char slow;
2538};
2539
2540struct vki_usbdevfs_iso_packet_desc {
2541	unsigned int length;
2542	unsigned int actual_length;
2543	unsigned int status;
2544};
2545
2546struct vki_usbdevfs_urb {
2547	unsigned char type;
2548	unsigned char endpoint;
2549	int status;
2550	unsigned int flags;
2551	void __user *buffer;
2552	int buffer_length;
2553	int actual_length;
2554	int start_frame;
2555	int number_of_packets;
2556	int error_count;
2557	unsigned int signr;  /* signal to be sent on error, -1 if none should be sent */
2558	void *usercontext;
2559	struct vki_usbdevfs_iso_packet_desc iso_frame_desc[0];
2560};
2561
2562struct vki_usbdevfs_ioctl {
2563	int	ifno;		/* interface 0..N ; negative numbers reserved */
2564	int	ioctl_code;	/* MUST encode size + direction of data so the
2565				 * macros in <asm/ioctl.h> give correct values */
2566	void __user *data;	/* param buffer (in, or out) */
2567};
2568
2569#define VKI_USBDEVFS_CONTROL           _VKI_IOWR('U', 0, struct vki_usbdevfs_ctrltransfer)
2570#define VKI_USBDEVFS_BULK              _VKI_IOWR('U', 2, struct vki_usbdevfs_bulktransfer)
2571#define VKI_USBDEVFS_GETDRIVER         _VKI_IOW('U', 8, struct vki_usbdevfs_getdriver)
2572#define VKI_USBDEVFS_SUBMITURB         _VKI_IOR('U', 10, struct vki_usbdevfs_urb)
2573#define VKI_USBDEVFS_DISCARDURB        _VKI_IO('U', 11)
2574#define VKI_USBDEVFS_REAPURB           _VKI_IOW('U', 12, void *)
2575#define VKI_USBDEVFS_REAPURBNDELAY     _VKI_IOW('U', 13, void *)
2576#define VKI_USBDEVFS_CONNECTINFO       _VKI_IOW('U', 17, struct vki_usbdevfs_connectinfo)
2577#define VKI_USBDEVFS_IOCTL             _VKI_IOWR('U', 18, struct vki_usbdevfs_ioctl)
2578#define VKI_USBDEVFS_RESET             _VKI_IO('U', 20)
2579
2580#define VKI_USBDEVFS_URB_TYPE_ISO              0
2581#define VKI_USBDEVFS_URB_TYPE_INTERRUPT        1
2582#define VKI_USBDEVFS_URB_TYPE_CONTROL          2
2583#define VKI_USBDEVFS_URB_TYPE_BULK             3
2584
2585// [[this is missing in usbdevice_fs.h]]
2586struct vki_usbdevfs_setuppacket {
2587       __vki_u8 bRequestType;
2588       __vki_u8 bRequest;
2589       __vki_u16 wValue;
2590       __vki_u16 wIndex;
2591       __vki_u16 wLength;
2592};
2593
2594//----------------------------------------------------------------------
2595// From linux-2.6.20.1/include/linux/i2c.h
2596//----------------------------------------------------------------------
2597
2598#define VKI_I2C_SLAVE		0x0703	/* Change slave address			*/
2599					/* Attn.: Slave address is 7 or 10 bits */
2600#define VKI_I2C_SLAVE_FORCE	0x0706	/* Change slave address			*/
2601					/* Attn.: Slave address is 7 or 10 bits */
2602					/* This changes the address, even if it */
2603					/* is already taken!			*/
2604#define VKI_I2C_TENBIT		0x0704	/* 0 for 7 bit addrs, != 0 for 10 bit	*/
2605#define VKI_I2C_FUNCS		0x0705	/* Get the adapter functionality */
2606#define VKI_I2C_RDWR		0x0707	/* Combined R/W transfer (one STOP only) */
2607#define VKI_I2C_PEC		0x0708	/* != 0 for SMBus PEC                   */
2608
2609struct vki_i2c_msg {
2610	__vki_u16 addr;		/* slave address			*/
2611	__vki_u16 flags;
2612#define VKI_I2C_M_TEN		0x0010	/* this is a ten bit chip address */
2613#define VKI_I2C_M_RD		0x0001	/* read data, from slave to master */
2614#define VKI_I2C_M_NOSTART	0x4000	/* if I2C_FUNC_PROTOCOL_MANGLING */
2615#define VKI_I2C_M_REV_DIR_ADDR	0x2000	/* if I2C_FUNC_PROTOCOL_MANGLING */
2616#define VKI_I2C_M_IGNORE_NAK	0x1000	/* if I2C_FUNC_PROTOCOL_MANGLING */
2617#define VKI_I2C_M_NO_RD_ACK	0x0800	/* if I2C_FUNC_PROTOCOL_MANGLING */
2618#define VKI_I2C_M_RECV_LEN	0x0400	/* length will be first received byte */
2619	__vki_u16 len;		/* msg length				*/
2620	__vki_u8 *buf;		/* pointer to msg data			*/
2621};
2622
2623struct vki_i2c_rdwr_ioctl_data {
2624	struct vki_i2c_msg *msgs;	/* pointers to i2c_msgs */
2625	__vki_u32 nmsgs;		/* number of i2c_msgs */
2626};
2627
2628//----------------------------------------------------------------------
2629// From linux-2.6.20.1/include/linux/keyctl.h
2630//----------------------------------------------------------------------
2631
2632/* keyctl commands */
2633#define VKI_KEYCTL_GET_KEYRING_ID	0	/* ask for a keyring's ID */
2634#define VKI_KEYCTL_JOIN_SESSION_KEYRING	1	/* join or start named session keyring */
2635#define VKI_KEYCTL_UPDATE		2	/* update a key */
2636#define VKI_KEYCTL_REVOKE		3	/* revoke a key */
2637#define VKI_KEYCTL_CHOWN		4	/* set ownership of a key */
2638#define VKI_KEYCTL_SETPERM		5	/* set perms on a key */
2639#define VKI_KEYCTL_DESCRIBE		6	/* describe a key */
2640#define VKI_KEYCTL_CLEAR		7	/* clear contents of a keyring */
2641#define VKI_KEYCTL_LINK			8	/* link a key into a keyring */
2642#define VKI_KEYCTL_UNLINK		9	/* unlink a key from a keyring */
2643#define VKI_KEYCTL_SEARCH		10	/* search for a key in a keyring */
2644#define VKI_KEYCTL_READ			11	/* read a key or keyring's contents */
2645#define VKI_KEYCTL_INSTANTIATE		12	/* instantiate a partially constructed key */
2646#define VKI_KEYCTL_NEGATE		13	/* negate a partially constructed key */
2647#define VKI_KEYCTL_SET_REQKEY_KEYRING	14	/* set default request-key keyring */
2648#define VKI_KEYCTL_SET_TIMEOUT		15	/* set key timeout */
2649#define VKI_KEYCTL_ASSUME_AUTHORITY	16	/* assume request_key() authorisation */
2650
2651/*--------------------------------------------------------------------*/
2652// From linux-2.6.20.1/include/linux/key.h
2653/*--------------------------------------------------------------------*/
2654
2655/* key handle serial number */
2656typedef vki_int32_t vki_key_serial_t;
2657
2658/* key handle permissions mask */
2659typedef vki_uint32_t vki_key_perm_t;
2660
2661//----------------------------------------------------------------------
2662// From linux-2.6.24.7/include/linux/wireless.h
2663// (wireless extensions version 22, 2007-03-16)
2664//----------------------------------------------------------------------
2665
2666/*
2667 * [[Wireless extensions ioctls.]]
2668 */
2669
2670/* Wireless Identification */
2671#define VKI_SIOCSIWCOMMIT	0x8B00	/* Commit pending changes to driver */
2672#define VKI_SIOCGIWNAME		0x8B01	/* get name == wireless protocol */
2673
2674/* Basic operations */
2675#define VKI_SIOCSIWNWID		0x8B02	/* set network id (pre-802.11) */
2676#define VKI_SIOCGIWNWID		0x8B03	/* get network id (the cell) */
2677#define VKI_SIOCSIWFREQ		0x8B04	/* set channel/frequency (Hz) */
2678#define VKI_SIOCGIWFREQ		0x8B05	/* get channel/frequency (Hz) */
2679#define VKI_SIOCSIWMODE		0x8B06	/* set operation mode */
2680#define VKI_SIOCGIWMODE		0x8B07	/* get operation mode */
2681#define VKI_SIOCSIWSENS		0x8B08	/* set sensitivity (dBm) */
2682#define VKI_SIOCGIWSENS		0x8B09	/* get sensitivity (dBm) */
2683
2684/* Informative stuff */
2685#define VKI_SIOCSIWRANGE	0x8B0A	/* Unused */
2686#define VKI_SIOCGIWRANGE	0x8B0B	/* Get range of parameters */
2687#define VKI_SIOCSIWPRIV		0x8B0C	/* Unused */
2688#define VKI_SIOCGIWPRIV		0x8B0D	/* get private ioctl interface info */
2689#define VKI_SIOCSIWSTATS	0x8B0E	/* Unused */
2690#define VKI_SIOCGIWSTATS	0x8B0F	/* Get /proc/net/wireless stats */
2691
2692/* Spy support (statistics per MAC address - used for Mobile IP support) */
2693#define VKI_SIOCSIWSPY		0x8B10	/* set spy addresses */
2694#define VKI_SIOCGIWSPY		0x8B11	/* get spy info (quality of link) */
2695#define VKI_SIOCSIWTHRSPY	0x8B12	/* set spy threshold (spy event) */
2696#define VKI_SIOCGIWTHRSPY	0x8B13	/* get spy threshold */
2697
2698/* Access Point manipulation */
2699#define VKI_SIOCSIWAP		0x8B14	/* set access point MAC addresses */
2700#define VKI_SIOCGIWAP		0x8B15	/* get access point MAC addresses */
2701#define VKI_SIOCGIWAPLIST	0x8B17	/* Deprecated in favor of scanning */
2702#define VKI_SIOCSIWSCAN         0x8B18	/* trigger scanning (list cells) */
2703#define VKI_SIOCGIWSCAN         0x8B19	/* get scanning results */
2704
2705/* 802.11 specific support */
2706#define VKI_SIOCSIWESSID	0x8B1A	/* set ESSID (network name) */
2707#define VKI_SIOCGIWESSID	0x8B1B	/* get ESSID */
2708#define VKI_SIOCSIWNICKN	0x8B1C	/* set node name/nickname */
2709#define VKI_SIOCGIWNICKN	0x8B1D	/* get node name/nickname */
2710
2711/* Other parameters useful in 802.11 and some other devices */
2712#define VKI_SIOCSIWRATE		0x8B20	/* set default bit rate (bps) */
2713#define VKI_SIOCGIWRATE		0x8B21	/* get default bit rate (bps) */
2714#define VKI_SIOCSIWRTS		0x8B22	/* set RTS/CTS threshold (bytes) */
2715#define VKI_SIOCGIWRTS		0x8B23	/* get RTS/CTS threshold (bytes) */
2716#define VKI_SIOCSIWFRAG		0x8B24	/* set fragmentation thr (bytes) */
2717#define VKI_SIOCGIWFRAG		0x8B25	/* get fragmentation thr (bytes) */
2718#define VKI_SIOCSIWTXPOW	0x8B26	/* set transmit power (dBm) */
2719#define VKI_SIOCGIWTXPOW	0x8B27	/* get transmit power (dBm) */
2720#define VKI_SIOCSIWRETRY	0x8B28	/* set retry limits and lifetime */
2721#define VKI_SIOCGIWRETRY	0x8B29	/* get retry limits and lifetime */
2722
2723/* Encoding stuff (scrambling, hardware security, WEP...) */
2724#define VKI_SIOCSIWENCODE	0x8B2A	/* set encoding token & mode */
2725#define VKI_SIOCGIWENCODE	0x8B2B	/* get encoding token & mode */
2726
2727/* Power saving stuff (power management, unicast and multicast) */
2728#define VKI_SIOCSIWPOWER	0x8B2C	/* set Power Management settings */
2729#define VKI_SIOCGIWPOWER	0x8B2D	/* get Power Management settings */
2730
2731/* WPA : Generic IEEE 802.11 informatiom element (e.g., for WPA/RSN/WMM). */
2732#define VKI_SIOCSIWGENIE	0x8B30		/* set generic IE */
2733#define VKI_SIOCGIWGENIE	0x8B31		/* get generic IE */
2734
2735/* WPA : IEEE 802.11 MLME requests */
2736#define VKI_SIOCSIWMLME		0x8B16	/* request MLME operation; uses
2737					 * struct iw_mlme */
2738/* WPA : Authentication mode parameters */
2739#define VKI_SIOCSIWAUTH		0x8B32	/* set authentication mode params */
2740#define VKI_SIOCGIWAUTH		0x8B33	/* get authentication mode params */
2741
2742/* WPA : Extended version of encoding configuration */
2743#define VKI_SIOCSIWENCODEEXT	0x8B34	/* set encoding token & mode */
2744#define VKI_SIOCGIWENCODEEXT	0x8B35	/* get encoding token & mode */
2745
2746/* WPA2 : PMKSA cache management */
2747#define VKI_SIOCSIWPMKSA	0x8B36	/* PMKSA cache operation */
2748
2749/*
2750 * [[Payload for the wireless extensions ioctls.]]
2751 */
2752
2753struct	vki_iw_param
2754{
2755  __vki_s32	value;		/* The value of the parameter itself */
2756  __vki_u8	fixed;		/* Hardware should not use auto select */
2757  __vki_u8	disabled;	/* Disable the feature */
2758  __vki_u16	flags;		/* Various specifc flags (if any) */
2759};
2760
2761struct	vki_iw_point
2762{
2763  void __user	*pointer;	/* Pointer to the data  (in user space) */
2764  __vki_u16	length;		/* number of fields or size in bytes */
2765  __vki_u16	flags;		/* Optional params */
2766};
2767
2768struct	vki_iw_freq
2769{
2770	__vki_s32	m;		/* Mantissa */
2771	__vki_s16	e;		/* Exponent */
2772	__vki_u8	i;		/* List index (when in range struct) */
2773	__vki_u8	flags;		/* Flags (fixed/auto) */
2774};
2775
2776struct	vki_iw_quality
2777{
2778	__vki_u8	qual;		/* link quality (%retries, SNR,
2779					   %missed beacons or better...) */
2780	__vki_u8	level;		/* signal level (dBm) */
2781	__vki_u8	noise;		/* noise level (dBm) */
2782	__vki_u8	updated;	/* Flags to know if updated */
2783};
2784
2785union	vki_iwreq_data
2786{
2787	/* Config - generic */
2788	char		name[VKI_IFNAMSIZ];
2789	/* Name : used to verify the presence of  wireless extensions.
2790	 * Name of the protocol/provider... */
2791
2792	struct vki_iw_point	essid;	/* Extended network name */
2793	struct vki_iw_param	nwid;	/* network id (or domain - the cell) */
2794	struct vki_iw_freq	freq;	/* frequency or channel :
2795					 * 0-1000 = channel
2796					 * > 1000 = frequency in Hz */
2797
2798	struct vki_iw_param	sens;	/* signal level threshold */
2799	struct vki_iw_param	bitrate;/* default bit rate */
2800	struct vki_iw_param	txpower;/* default transmit power */
2801	struct vki_iw_param	rts;	/* RTS threshold threshold */
2802	struct vki_iw_param	frag;	/* Fragmentation threshold */
2803	__vki_u32		mode;	/* Operation mode */
2804	struct vki_iw_param	retry;	/* Retry limits & lifetime */
2805
2806	struct vki_iw_point	encoding; /* Encoding stuff : tokens */
2807	struct vki_iw_param	power;	/* PM duration/timeout */
2808	struct vki_iw_quality	qual;	/* Quality part of statistics */
2809
2810	struct vki_sockaddr ap_addr;	/* Access point address */
2811	struct vki_sockaddr addr;	/* Destination address (hw/mac) */
2812
2813	struct vki_iw_param	param;	/* Other small parameters */
2814	struct vki_iw_point	data;	/* Other large parameters */
2815};
2816
2817struct	vki_iwreq
2818{
2819	union
2820	{
2821		char ifrn_name[VKI_IFNAMSIZ];	/* if name, e.g. "eth0" */
2822	} ifr_ifrn;
2823
2824	/* Data part (defined just above) */
2825	union	vki_iwreq_data	u;
2826};
2827
2828/*--------------------------------------------------------------------*/
2829// From linux-2.6.31.5/include/linux/perf_event.h
2830/*--------------------------------------------------------------------*/
2831
2832struct vki_perf_event_attr {
2833
2834	/*
2835	 * Major type: hardware/software/tracepoint/etc.
2836	 */
2837	__vki_u32			type;
2838
2839	/*
2840	 * Size of the attr structure, for fwd/bwd compat.
2841	 */
2842	__vki_u32			size;
2843
2844	/*
2845	 * Type specific configuration information.
2846	 */
2847	__vki_u64			config;
2848
2849	union {
2850		__vki_u64		sample_period;
2851		__vki_u64		sample_freq;
2852	};
2853
2854	__vki_u64			sample_type;
2855	__vki_u64			read_format;
2856
2857	__vki_u64			disabled       :  1, /* off by default        */
2858					inherit	       :  1, /* children inherit it   */
2859					pinned	       :  1, /* must always be on PMU */
2860					exclusive      :  1, /* only group on PMU     */
2861					exclude_user   :  1, /* don't count user      */
2862					exclude_kernel :  1, /* ditto kernel          */
2863					exclude_hv     :  1, /* ditto hypervisor      */
2864					exclude_idle   :  1, /* don't count when idle */
2865					mmap           :  1, /* include mmap data     */
2866					comm	       :  1, /* include comm data     */
2867					freq           :  1, /* use freq, not period  */
2868					inherit_stat   :  1, /* per task counts       */
2869					enable_on_exec :  1, /* next exec enables     */
2870					task           :  1, /* trace fork/exit       */
2871					watermark      :  1, /* wakeup_watermark      */
2872					/*
2873					 * precise_ip:
2874					 *
2875					 *  0 - SAMPLE_IP can have arbitrary skid
2876					 *  1 - SAMPLE_IP must have constant skid
2877					 *  2 - SAMPLE_IP requested to have 0 skid
2878					 *  3 - SAMPLE_IP must have 0 skid
2879					 *
2880					 *  See also PERF_RECORD_MISC_EXACT_IP
2881					 */
2882					precise_ip     :  2, /* skid constraint       */
2883					mmap_data      :  1, /* non-exec mmap data    */
2884					sample_id_all  :  1, /* sample_type all events */
2885
2886					__reserved_1   : 45;
2887
2888	union {
2889		__vki_u32		wakeup_events;	  /* wakeup every n events */
2890		__vki_u32		wakeup_watermark; /* bytes before wakeup   */
2891	};
2892
2893	__vki_u32			bp_type;
2894	union {
2895		__vki_u64		bp_addr;
2896		__vki_u64		config1; /* extension of config */
2897	};
2898	union {
2899		__vki_u64		bp_len;
2900		__vki_u64		config2; /* extension of config1 */
2901	};
2902};
2903
2904/*--------------------------------------------------------------------*/
2905// From linux-2.6.32.4/include/linux/getcpu.h
2906/*--------------------------------------------------------------------*/
2907
2908struct vki_getcpu_cache {
2909	unsigned long blob[128 / sizeof(long)];
2910};
2911
2912//----------------------------------------------------------------------
2913// From linux-2.6.33.3/include/linux/input.h
2914//----------------------------------------------------------------------
2915
2916/*
2917 * IOCTLs (0x00 - 0x7f)
2918 */
2919
2920#define VKI_EVIOCGNAME(len)	_VKI_IOC(_VKI_IOC_READ, 'E', 0x06, len)		/* get device name */
2921#define VKI_EVIOCGPHYS(len)	_VKI_IOC(_VKI_IOC_READ, 'E', 0x07, len)		/* get physical location */
2922#define VKI_EVIOCGUNIQ(len)	_VKI_IOC(_VKI_IOC_READ, 'E', 0x08, len)		/* get unique identifier */
2923
2924#define VKI_EVIOCGKEY(len)	_VKI_IOC(_VKI_IOC_READ, 'E', 0x18, len)		/* get global keystate */
2925#define VKI_EVIOCGLED(len)	_VKI_IOC(_VKI_IOC_READ, 'E', 0x19, len)		/* get all LEDs */
2926#define VKI_EVIOCGSND(len)	_VKI_IOC(_VKI_IOC_READ, 'E', 0x1a, len)		/* get all sounds status */
2927#define VKI_EVIOCGSW(len)	_VKI_IOC(_VKI_IOC_READ, 'E', 0x1b, len)		/* get all switch states */
2928
2929#define VKI_EVIOCGBIT(ev,len)	_VKI_IOC(_VKI_IOC_READ, 'E', 0x20 + ev, len)	/* get event bits */
2930
2931/*
2932 * Event types
2933 */
2934
2935#define VKI_EV_SYN		0x00
2936#define VKI_EV_KEY		0x01
2937#define VKI_EV_REL		0x02
2938#define VKI_EV_ABS		0x03
2939#define VKI_EV_MSC		0x04
2940#define VKI_EV_SW		0x05
2941#define VKI_EV_LED		0x11
2942#define VKI_EV_SND		0x12
2943#define VKI_EV_REP		0x14
2944#define VKI_EV_FF		0x15
2945#define VKI_EV_PWR		0x16
2946#define VKI_EV_FF_STATUS	0x17
2947#define VKI_EV_MAX		0x1f
2948#define VKI_EV_CNT		(VKI_EV_MAX+1)
2949
2950//----------------------------------------------------------------------
2951// From linux-2.6.39-rc2/include/asm_generic/ioctls.h
2952//----------------------------------------------------------------------
2953
2954#ifndef VKI_FIOQSIZE
2955#define VKI_FIOQSIZE 0x5460     /* Value differs on some platforms */
2956#endif
2957
2958#ifndef VKI_TIOCSIG
2959#define VKI_TIOCSIG _VKI_IOW('T', 0x36, int) /* Value differs on some platforms */
2960#endif
2961
2962//----------------------------------------------------------------------
2963// From kernel/common/include/linux/ashmem.h
2964//----------------------------------------------------------------------
2965
2966#if defined(VGPV_arm_linux_android) || defined(VGPV_x86_linux_android) \
2967    || defined(VGPV_mips32_linux_android)
2968
2969#define VKI_ASHMEM_NAME_LEN 256
2970
2971#define VKI_ASHMEM_NAME_DEF "dev/ashmem"
2972
2973#define VKI_ASHMEM_NOT_PURGED 0
2974#define VKI_ASHMEM_WAS_PURGED 1
2975
2976#define VKI_ASHMEM_IS_UNPINNED 0
2977#define VKI_ASHMEM_IS_PINNED 1
2978
2979struct vki_ashmem_pin {
2980   vki_uint32_t offset;
2981   vki_uint32_t len;
2982};
2983
2984#define __VKI_ASHMEMIOC 0x77
2985
2986#define VKI_ASHMEM_SET_NAME _VKI_IOW(__VKI_ASHMEMIOC, 1, char[VKI_ASHMEM_NAME_LEN])
2987#define VKI_ASHMEM_GET_NAME _VKI_IOR(__VKI_ASHMEMIOC, 2, char[VKI_ASHMEM_NAME_LEN])
2988#define VKI_ASHMEM_SET_SIZE _VKI_IOW(__VKI_ASHMEMIOC, 3, vki_size_t)
2989#define VKI_ASHMEM_GET_SIZE _VKI_IO(__VKI_ASHMEMIOC, 4)
2990#define VKI_ASHMEM_SET_PROT_MASK _VKI_IOW(__VKI_ASHMEMIOC, 5, unsigned long)
2991#define VKI_ASHMEM_GET_PROT_MASK _VKI_IO(__VKI_ASHMEMIOC, 6)
2992#define VKI_ASHMEM_PIN _VKI_IOW(__VKI_ASHMEMIOC, 7, struct vki_ashmem_pin)
2993#define VKI_ASHMEM_UNPIN _VKI_IOW(__VKI_ASHMEMIOC, 8, struct vki_ashmem_pin)
2994#define VKI_ASHMEM_GET_PIN_STATUS _VKI_IO(__VKI_ASHMEMIOC, 9)
2995#define VKI_ASHMEM_PURGE_ALL_CACHES _VKI_IO(__VKI_ASHMEMIOC, 10)
2996
2997//----------------------------------------------------------------------
2998// From kernel/common/include/linux/binder.h
2999//----------------------------------------------------------------------
3000
3001struct vki_binder_write_read {
3002 signed long write_size;
3003 signed long write_consumed;
3004 unsigned long write_buffer;
3005 signed long read_size;
3006 signed long read_consumed;
3007 unsigned long read_buffer;
3008};
3009
3010struct vki_binder_version {
3011 signed long protocol_version;
3012};
3013
3014#define VKI_BINDER_WRITE_READ _VKI_IOWR('b', 1, struct vki_binder_write_read)
3015#define VKI_BINDER_SET_IDLE_TIMEOUT _VKI_IOW('b', 3, vki_int64_t)
3016#define VKI_BINDER_SET_MAX_THREADS _VKI_IOW('b', 5, vki_size_t)
3017#define VKI_BINDER_SET_IDLE_PRIORITY _VKI_IOW('b', 6, int)
3018#define VKI_BINDER_SET_CONTEXT_MGR _VKI_IOW('b', 7, int)
3019#define VKI_BINDER_THREAD_EXIT _VKI_IOW('b', 8, int)
3020#define VKI_BINDER_VERSION _VKI_IOWR('b', 9, struct vki_binder_version)
3021
3022#endif /* defined(VGPV_*_linux_android) */
3023
3024//----------------------------------------------------------------------
3025// From linux-3.0.4/include/net/bluetooth/bluetooth.h
3026//----------------------------------------------------------------------
3027
3028typedef struct {
3029   __vki_u8 b[6];
3030} __vki_packed vki_bdaddr_t;
3031
3032//----------------------------------------------------------------------
3033// From linux-3.0.4/include/net/bluetooth/hci.h
3034//----------------------------------------------------------------------
3035
3036#define VKI_HCIDEVUP        _VKI_IOW('H', 201, int)
3037#define VKI_HCIDEVDOWN      _VKI_IOW('H', 202, int)
3038#define VKI_HCIDEVRESET     _VKI_IOW('H', 203, int)
3039#define VKI_HCIDEVRESTAT    _VKI_IOW('H', 204, int)
3040
3041#define VKI_HCIGETDEVLIST   _VKI_IOR('H', 210, int)
3042
3043struct vki_hci_dev_req {
3044	__vki_u16  dev_id;
3045	__vki_u32  dev_opt;
3046};
3047
3048struct vki_hci_dev_list_req {
3049	__vki_u16  dev_num;
3050	struct vki_hci_dev_req dev_req[0];	/* hci_dev_req structures */
3051};
3052
3053#define VKI_HCIGETDEVINFO   _VKI_IOR('H', 211, int)
3054#define VKI_HCIGETCONNLIST  _VKI_IOR('H', 212, int)
3055#define VKI_HCIGETCONNINFO  _VKI_IOR('H', 213, int)
3056#define VKI_HCIGETAUTHINFO  _VKI_IOR('H', 215, int)
3057
3058#define VKI_HCISETRAW       _VKI_IOW('H', 220, int)
3059#define VKI_HCISETSCAN      _VKI_IOW('H', 221, int)
3060#define VKI_HCISETAUTH      _VKI_IOW('H', 222, int)
3061#define VKI_HCISETENCRYPT   _VKI_IOW('H', 223, int)
3062#define VKI_HCISETPTYPE     _VKI_IOW('H', 224, int)
3063#define VKI_HCISETLINKPOL   _VKI_IOW('H', 225, int)
3064#define VKI_HCISETLINKMODE  _VKI_IOW('H', 226, int)
3065#define VKI_HCISETACLMTU    _VKI_IOW('H', 227, int)
3066#define VKI_HCISETSCOMTU    _VKI_IOW('H', 228, int)
3067
3068#define VKI_HCIBLOCKADDR    _VKI_IOW('H', 230, int)
3069#define VKI_HCIUNBLOCKADDR  _VKI_IOW('H', 231, int)
3070
3071#define VKI_HCIINQUIRY      _VKI_IOR('H', 240, int)
3072
3073struct vki_inquiry_info {
3074   vki_bdaddr_t bdaddr;
3075   __vki_u8     pscan_rep_mode;
3076   __vki_u8     pscan_period_mode;
3077   __vki_u8     pscan_mode;
3078   __vki_u8     dev_class[3];
3079   __vki_le16   clock_offset;
3080} __vki_packed;
3081
3082struct vki_hci_inquiry_req {
3083   __vki_u16 dev_id;
3084   __vki_u16 flags;
3085   __vki_u8  lap[3];
3086   __vki_u8  length;
3087   __vki_u8  num_rsp;
3088};
3089
3090//----------------------------------------------------------------------
3091// From linux-3.9.2/include/net/bluetooth/rfcomm.h
3092//----------------------------------------------------------------------
3093
3094struct vki_sockaddr_rc {
3095        vki_sa_family_t     rc_family;
3096        vki_bdaddr_t        rc_bdaddr;
3097        __vki_u8            rc_channel;
3098};
3099
3100//----------------------------------------------------------------------
3101// From linux-3.4/include/linux/kvm.h
3102//----------------------------------------------------------------------
3103#define KVMIO 0xAE
3104
3105#define VKI_KVM_GET_API_VERSION       _VKI_IO(KVMIO,   0x00)
3106#define VKI_KVM_CREATE_VM             _VKI_IO(KVMIO,   0x01) /* returns a VM fd */
3107#define VKI_KVM_CHECK_EXTENSION       _VKI_IO(KVMIO,   0x03)
3108#define VKI_KVM_GET_VCPU_MMAP_SIZE    _VKI_IO(KVMIO,   0x04) /* in bytes */
3109#define VKI_KVM_S390_ENABLE_SIE       _VKI_IO(KVMIO,   0x06)
3110#define VKI_KVM_CREATE_VCPU           _VKI_IO(KVMIO,   0x41)
3111#define VKI_KVM_SET_NR_MMU_PAGES      _VKI_IO(KVMIO,   0x44)
3112#define VKI_KVM_GET_NR_MMU_PAGES      _VKI_IO(KVMIO,   0x45)
3113#define VKI_KVM_SET_TSS_ADDR          _VKI_IO(KVMIO,   0x47)
3114#define VKI_KVM_CREATE_IRQCHIP        _VKI_IO(KVMIO,   0x60)
3115#define VKI_KVM_CREATE_PIT            _VKI_IO(KVMIO,   0x64)
3116#define VKI_KVM_REINJECT_CONTROL      _VKI_IO(KVMIO,   0x71)
3117#define VKI_KVM_SET_BOOT_CPU_ID       _VKI_IO(KVMIO,   0x78)
3118#define VKI_KVM_SET_TSC_KHZ           _VKI_IO(KVMIO,  0xa2)
3119#define VKI_KVM_GET_TSC_KHZ           _VKI_IO(KVMIO,  0xa3)
3120#define VKI_KVM_RUN                   _VKI_IO(KVMIO,   0x80)
3121#define VKI_KVM_S390_INITIAL_RESET    _VKI_IO(KVMIO,   0x97)
3122#define VKI_KVM_NMI                   _VKI_IO(KVMIO,   0x9a)
3123#define VKI_KVM_KVMCLOCK_CTRL         _VKI_IO(KVMIO,   0xad)
3124
3125//----------------------------------------------------------------------
3126// From linux-2.6/include/linux/net_stamp.h
3127//----------------------------------------------------------------------
3128
3129struct vki_hwtstamp_config {
3130	int flags;
3131	int tx_type;
3132	int rx_filter;
3133};
3134
3135//----------------------------------------------------------------------
3136// From linux-2.6.12-rc2/include/linux/uinput.h
3137//----------------------------------------------------------------------
3138
3139#define VKI_UINPUT_IOCTL_BASE       'U'
3140#define VKI_UI_DEV_CREATE		_VKI_IO(VKI_UINPUT_IOCTL_BASE, 1)
3141#define VKI_UI_DEV_DESTROY		_VKI_IO(VKI_UINPUT_IOCTL_BASE, 2)
3142
3143#define VKI_UI_SET_EVBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 100, int)
3144#define VKI_UI_SET_KEYBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 101, int)
3145#define VKI_UI_SET_RELBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 102, int)
3146#define VKI_UI_SET_ABSBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 103, int)
3147#define VKI_UI_SET_MSCBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 104, int)
3148#define VKI_UI_SET_LEDBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 105, int)
3149#define VKI_UI_SET_SNDBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 106, int)
3150#define VKI_UI_SET_FFBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 107, int)
3151#define VKI_UI_SET_SWBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 109, int)
3152#define VKI_UI_SET_PROPBIT		_VKI_IOW(VKI_UINPUT_IOCTL_BASE, 110, int)
3153
3154//----------------------------------------------------------------------
3155// From linux-2.6/include/uapi/rdma/ib_user_mad.h
3156//----------------------------------------------------------------------
3157
3158#define VKI_IB_IOCTL_MAGIC          0x1b
3159
3160#define VKI_IB_USER_MAD_REGISTER_AGENT    _VKI_IOWR(VKI_IB_IOCTL_MAGIC, 1, \
3161                                              struct ib_user_mad_reg_req)
3162
3163#define VKI_IB_USER_MAD_UNREGISTER_AGENT  _VKI_IOW(VKI_IB_IOCTL_MAGIC, 2, __u32)
3164
3165#define VKI_IB_USER_MAD_ENABLE_PKEY       _VKI_IO(VKI_IB_IOCTL_MAGIC, 3)
3166
3167//----------------------------------------------------------------------
3168// From linux-3.8/include/uapi/linux/if_tun.h
3169//----------------------------------------------------------------------
3170
3171#define VKI_TUNSETNOCSUM  _VKI_IOW('T', 200, int)
3172#define VKI_TUNSETDEBUG   _VKI_IOW('T', 201, int)
3173#define VKI_TUNSETIFF     _VKI_IOW('T', 202, int)
3174#define VKI_TUNSETPERSIST _VKI_IOW('T', 203, int)
3175#define VKI_TUNSETOWNER   _VKI_IOW('T', 204, int)
3176#define VKI_TUNSETLINK    _VKI_IOW('T', 205, int)
3177#define VKI_TUNSETGROUP   _VKI_IOW('T', 206, int)
3178#define VKI_TUNGETFEATURES _VKI_IOR('T', 207, unsigned int)
3179#define VKI_TUNSETOFFLOAD  _VKI_IOW('T', 208, unsigned int)
3180#define VKI_TUNSETTXFILTER _VKI_IOW('T', 209, unsigned int)
3181#define VKI_TUNGETIFF      _VKI_IOR('T', 210, unsigned int)
3182#define VKI_TUNGETSNDBUF   _VKI_IOR('T', 211, int)
3183#define VKI_TUNSETSNDBUF   _VKI_IOW('T', 212, int)
3184//#define VKI_TUNATTACHFILTER _VKI_IOW('T', 213, struct sock_fprog)
3185//#define VKI_TUNDETACHFILTER _VKI_IOW('T', 214, struct sock_fprog)
3186#define VKI_TUNGETVNETHDRSZ _VKI_IOR('T', 215, int)
3187#define VKI_TUNSETVNETHDRSZ _VKI_IOW('T', 216, int)
3188#define VKI_TUNSETQUEUE  _VKI_IOW('T', 217, int)
3189#define VKI_TUNSETIFINDEX	_VKI_IOW('T', 218, unsigned int)
3190//#define VKI_TUNGETFILTER _VKI_IOR('T', 219, struct sock_fprog)
3191
3192//----------------------------------------------------------------------
3193// From linux-3.8/include/uapi/linux/vhost.h
3194//----------------------------------------------------------------------
3195
3196#define VKI_VHOST_VIRTIO 0xAF
3197#define VKI_VHOST_SET_OWNER _VKI_IO(VKI_VHOST_VIRTIO, 0x01)
3198#define VKI_VHOST_RESET_OWNER _VKI_IO(VKI_VHOST_VIRTIO, 0x02)
3199
3200//----------------------------------------------------------------------
3201// Xen privcmd IOCTL
3202//----------------------------------------------------------------------
3203
3204typedef unsigned long __vki_xen_pfn_t;
3205
3206struct vki_xen_privcmd_hypercall {
3207       __vki_u64 op;
3208       __vki_u64 arg[5];
3209};
3210
3211struct vki_xen_privcmd_mmap_entry {
3212        __vki_u64 va;
3213        __vki_u64 mfn;
3214        __vki_u64 npages;
3215};
3216
3217struct vki_xen_privcmd_mmap {
3218        int num;
3219        __vki_u16 dom; /* target domain */
3220        struct vki_xen_privcmd_mmap_entry *entry;
3221};
3222
3223struct vki_xen_privcmd_mmapbatch {
3224        int num;     /* number of pages to populate */
3225        __vki_u16 dom; /* target domain */
3226        __vki_u64 addr;  /* virtual address */
3227        __vki_xen_pfn_t *arr; /* array of mfns - top nibble set on err */
3228};
3229
3230struct vki_xen_privcmd_mmapbatch_v2 {
3231        unsigned int num; /* number of pages to populate */
3232        __vki_u16 dom;      /* target domain */
3233        __vki_u64 addr;       /* virtual address */
3234        const __vki_xen_pfn_t *arr; /* array of mfns */
3235        int __user *err;  /* array of error codes */
3236};
3237
3238#define VKI_XEN_IOCTL_PRIVCMD_HYPERCALL    _VKI_IOC(_VKI_IOC_NONE, 'P', 0, sizeof(struct vki_xen_privcmd_hypercall))
3239#define VKI_XEN_IOCTL_PRIVCMD_MMAP         _VKI_IOC(_VKI_IOC_NONE, 'P', 2, sizeof(struct vki_xen_privcmd_mmap))
3240
3241#define VKI_XEN_IOCTL_PRIVCMD_MMAPBATCH    _VKI_IOC(_VKI_IOC_NONE, 'P', 3, sizeof(struct vki_xen_privcmd_mmapbatch))
3242#define VKI_XEN_IOCTL_PRIVCMD_MMAPBATCH_V2 _VKI_IOC(_VKI_IOC_NONE, 'P', 4, sizeof(struct vki_xen_privcmd_mmapbatch_v2))
3243
3244//----------------------------------------------------------------------
3245// Xen evtchn IOCTL
3246//----------------------------------------------------------------------
3247
3248#define VKI_XEN_IOCTL_EVTCHN_BIND_VIRQ				\
3249	_VKI_IOC(_VKI_IOC_NONE, 'E', 0, sizeof(struct vki_xen_ioctl_evtchn_bind_virq))
3250struct vki_xen_ioctl_evtchn_bind_virq {
3251	vki_uint32_t virq;
3252	vki_uint32_t port;
3253};
3254
3255#define VKI_XEN_IOCTL_EVTCHN_BIND_INTERDOMAIN			\
3256	_VKI_IOC(_VKI_IOC_NONE, 'E', 1, sizeof(struct vki_xen_ioctl_evtchn_bind_interdomain))
3257struct vki_xen_ioctl_evtchn_bind_interdomain {
3258	vki_uint32_t remote_domain;
3259	vki_uint32_t remote_port;
3260};
3261
3262#define VKI_XEN_IOCTL_EVTCHN_BIND_UNBOUND_PORT			\
3263	_VKI_IOC(_VKI_IOC_NONE, 'E', 2, sizeof(struct vki_xen_ioctl_evtchn_bind_unbound_port))
3264struct vki_xen_ioctl_evtchn_bind_unbound_port {
3265	vki_uint32_t remote_domain;
3266};
3267
3268#define VKI_XEN_IOCTL_EVTCHN_UNBIND				\
3269	_VKI_IOC(_VKI_IOC_NONE, 'E', 3, sizeof(struct vki_xen_ioctl_evtchn_unbind))
3270struct vki_xen_ioctl_evtchn_unbind {
3271	vki_uint32_t port;
3272};
3273
3274#define VKI_XEN_IOCTL_EVTCHN_NOTIFY				\
3275	_VKI_IOC(_VKI_IOC_NONE, 'E', 4, sizeof(struct vki_xen_ioctl_evtchn_notify))
3276struct vki_xen_ioctl_evtchn_notify {
3277	vki_uint32_t port;
3278};
3279
3280#define VKI_XEN_IOCTL_EVTCHN_RESET				\
3281	_VKI_IOC(_VKI_IOC_NONE, 'E', 5, 0)
3282
3283
3284//----------------------------------------------------------------------
3285// From linux-3.4.0/include/linux/fs.h
3286//----------------------------------------------------------------------
3287
3288struct vki_file_handle {
3289   __vki_u32 handle_bytes;
3290   int handle_type;
3291   /* file identifier */
3292   unsigned char f_handle[0];
3293};
3294
3295//----------------------------------------------------------------------
3296// From linux-3.2.0/include/linux/filter.h
3297//----------------------------------------------------------------------
3298
3299struct vki_sock_filter {
3300	__vki_u16 code; /* Actual filter code */
3301	__vki_u8 jt;    /* Jump true */
3302	__vki_u8 jf;    /* Jump false */
3303	__vki_u32 k;    /* Generic multiuse field */
3304};
3305
3306struct vki_sock_fprog {
3307	__vki_u16 len;  /* actually unsigned short */
3308	struct vki_sock_filter *filter;
3309};
3310
3311//----------------------------------------------------------------------
3312// From linux/include/uapi/linux/ethtool.h
3313//----------------------------------------------------------------------
3314
3315struct vki_ethtool_cmd {
3316	__vki_u32	cmd;
3317	__vki_u32	supported;
3318	__vki_u32	advertising;
3319	__vki_u16	speed;
3320	__vki_u8	duplex;
3321	__vki_u8	port;
3322	__vki_u8	phy_address;
3323	__vki_u8	transceiver;
3324	__vki_u8	autoneg;
3325	__vki_u8	mdio_support;
3326	__vki_u32	maxtxpkt;
3327	__vki_u32	maxrxpkt;
3328	__vki_u16	speed_hi;
3329	__vki_u8	eth_tp_mdix;
3330	__vki_u8	eth_tp_mdix_ctrl;
3331	__vki_u32	lp_advertising;
3332	__vki_u32	reserved[2];
3333};
3334
3335#define VKI_ETHTOOL_FWVERS_LEN	32
3336#define VKI_ETHTOOL_BUSINFO_LEN	32
3337
3338struct vki_ethtool_drvinfo {
3339	__vki_u32	cmd;
3340	char	driver[32];
3341	char	version[32];
3342	char	fw_version[VKI_ETHTOOL_FWVERS_LEN];
3343	char	bus_info[VKI_ETHTOOL_BUSINFO_LEN];
3344	char	reserved1[32];
3345	char	reserved2[12];
3346	__vki_u32	n_priv_flags;
3347	__vki_u32	n_stats;
3348	__vki_u32	testinfo_len;
3349	__vki_u32	eedump_len;
3350	__vki_u32	regdump_len;
3351};
3352
3353#define VKI_SOPASS_MAX	6
3354
3355struct vki_ethtool_wolinfo {
3356	__vki_u32	cmd;
3357	__vki_u32	supported;
3358	__vki_u32	wolopts;
3359	__vki_u8	sopass[VKI_SOPASS_MAX];
3360};
3361
3362struct vki_ethtool_value {
3363	__vki_u32	cmd;
3364	__vki_u32	data;
3365};
3366
3367struct vki_ethtool_regs {
3368	__vki_u32	cmd;
3369	__vki_u32	version;
3370	__vki_u32	len;
3371	__vki_u8	data[0];
3372};
3373
3374struct vki_ethtool_ringparam {
3375	__vki_u32	cmd;
3376	__vki_u32	rx_max_pending;
3377	__vki_u32	rx_mini_max_pending;
3378	__vki_u32	rx_jumbo_max_pending;
3379	__vki_u32	tx_max_pending;
3380	__vki_u32	rx_pending;
3381	__vki_u32	rx_mini_pending;
3382	__vki_u32	rx_jumbo_pending;
3383	__vki_u32	tx_pending;
3384};
3385
3386struct vki_ethtool_channels {
3387	__vki_u32	cmd;
3388	__vki_u32	max_rx;
3389	__vki_u32	max_tx;
3390	__vki_u32	max_other;
3391	__vki_u32	max_combined;
3392	__vki_u32	rx_count;
3393	__vki_u32	tx_count;
3394	__vki_u32	other_count;
3395	__vki_u32	combined_count;
3396};
3397
3398struct vki_ethtool_sset_info {
3399	__vki_u32	cmd;
3400	__vki_u32	reserved;
3401	__vki_u64	sset_mask;
3402	__vki_u32	data[0];
3403};
3404
3405struct vki_ethtool_test {
3406	__vki_u32	cmd;
3407	__vki_u32	flags;
3408	__vki_u32	reserved;
3409	__vki_u32	len;
3410	__vki_u64	data[0];
3411};
3412
3413struct vki_ethtool_perm_addr {
3414	__vki_u32	cmd;
3415	__vki_u32	size;
3416	__vki_u8	data[0];
3417};
3418
3419struct vki_ethtool_get_features_block {
3420	__vki_u32	available;
3421	__vki_u32	requested;
3422	__vki_u32	active;
3423	__vki_u32	never_changed;
3424};
3425
3426struct vki_ethtool_gfeatures {
3427	__vki_u32	cmd;
3428	__vki_u32	size;
3429	struct vki_ethtool_get_features_block features[0];
3430};
3431
3432struct vki_ethtool_set_features_block {
3433	__vki_u32	valid;
3434	__vki_u32	requested;
3435};
3436
3437struct vki_ethtool_sfeatures {
3438	__vki_u32	cmd;
3439	__vki_u32	size;
3440	struct vki_ethtool_set_features_block features[0];
3441};
3442
3443struct vki_ethtool_ts_info {
3444	__vki_u32	cmd;
3445	__vki_u32	so_timestamping;
3446	__vki_s32	phc_index;
3447	__vki_u32	tx_types;
3448	__vki_u32	tx_reserved[3];
3449	__vki_u32	rx_filters;
3450	__vki_u32	rx_reserved[3];
3451};
3452
3453#define VKI_ETHTOOL_GSET	0x00000001 /* Get settings. */
3454#define VKI_ETHTOOL_SSET	0x00000002 /* Set settings. */
3455#define VKI_ETHTOOL_GDRVINFO	0x00000003 /* Get driver info. */
3456#define VKI_ETHTOOL_GREGS	0x00000004 /* Get NIC registers. */
3457#define VKI_ETHTOOL_GWOL	0x00000005 /* Get wake-on-lan options. */
3458#define VKI_ETHTOOL_SWOL	0x00000006 /* Set wake-on-lan options. */
3459#define VKI_ETHTOOL_GMSGLVL	0x00000007 /* Get driver message level */
3460#define VKI_ETHTOOL_SMSGLVL	0x00000008 /* Set driver msg level. */
3461#define VKI_ETHTOOL_NWAY_RST	0x00000009 /* Restart autonegotiation. */
3462#define VKI_ETHTOOL_GLINK	0x0000000a
3463#define VKI_ETHTOOL_GRINGPARAM	0x00000010 /* Get ring parameters */
3464#define VKI_ETHTOOL_SRINGPARAM	0x00000011 /* Set ring parameters. */
3465#define VKI_ETHTOOL_GRXCSUM	0x00000014 /* Get RX hw csum enable (ethtool_value) */
3466#define VKI_ETHTOOL_SRXCSUM	0x00000015 /* Set RX hw csum enable (ethtool_value) */
3467#define VKI_ETHTOOL_GTXCSUM	0x00000016 /* Get TX hw csum enable (ethtool_value) */
3468#define VKI_ETHTOOL_STXCSUM	0x00000017 /* Set TX hw csum enable (ethtool_value) */
3469#define VKI_ETHTOOL_GSG		0x00000018 /* Get scatter-gather enable
3470					    * (ethtool_value) */
3471#define VKI_ETHTOOL_SSG		0x00000019 /* Set scatter-gather enable
3472					    * (ethtool_value). */
3473#define VKI_ETHTOOL_TEST	0x0000001a /* execute NIC self-test. */
3474#define VKI_ETHTOOL_PHYS_ID	0x0000001c /* identify the NIC */
3475#define VKI_ETHTOOL_GTSO	0x0000001e /* Get TSO enable (ethtool_value) */
3476#define VKI_ETHTOOL_STSO	0x0000001f /* Set TSO enable (ethtool_value) */
3477#define VKI_ETHTOOL_GPERMADDR	0x00000020 /* Get permanent hardware address */
3478#define VKI_ETHTOOL_GUFO	0x00000021 /* Get UFO enable (ethtool_value) */
3479#define VKI_ETHTOOL_SUFO	0x00000022 /* Set UFO enable (ethtool_value) */
3480#define VKI_ETHTOOL_GGSO	0x00000023 /* Get GSO enable (ethtool_value) */
3481#define VKI_ETHTOOL_SGSO	0x00000024 /* Set GSO enable (ethtool_value) */
3482#define VKI_ETHTOOL_GFLAGS	0x00000025 /* Get flags bitmap(ethtool_value) */
3483#define VKI_ETHTOOL_SFLAGS	0x00000026 /* Set flags bitmap(ethtool_value) */
3484#define VKI_ETHTOOL_GGRO	0x0000002b /* Get GRO enable (ethtool_value) */
3485#define VKI_ETHTOOL_SGRO	0x0000002c /* Set GRO enable (ethtool_value) */
3486#define VKI_ETHTOOL_RESET	0x00000034 /* Reset hardware */
3487#define VKI_ETHTOOL_GSSET_INFO	0x00000037 /* Get string set info */
3488#define VKI_ETHTOOL_GFEATURES	0x0000003a /* Get device offload settings */
3489#define VKI_ETHTOOL_SFEATURES	0x0000003b /* Change device offload settings */
3490#define VKI_ETHTOOL_GCHANNELS	0x0000003c /* Get no of channels */
3491#define VKI_ETHTOOL_SCHANNELS	0x0000003d /* Set no of channels */
3492#define VKI_ETHTOOL_GET_TS_INFO	0x00000041 /* Get time stamping and PHC info */
3493
3494//----------------------------------------------------------------------
3495// From linux-3.15.8/drivers/staging/android/uapi/ion.h
3496//----------------------------------------------------------------------
3497
3498typedef int vki_ion_user_handle_t;
3499
3500struct vki_ion_allocation_data {
3501        vki_size_t len;
3502        vki_size_t align;
3503        unsigned int heap_id_mask;
3504        unsigned int flags;
3505        vki_ion_user_handle_t handle;
3506};
3507
3508struct vki_ion_fd_data {
3509        vki_ion_user_handle_t handle;
3510        int fd;
3511};
3512
3513struct vki_ion_handle_data {
3514        vki_ion_user_handle_t handle;
3515};
3516
3517struct vki_ion_custom_data {
3518        unsigned int cmd;
3519        unsigned long arg;
3520};
3521
3522#define VKI_ION_IOC_MAGIC   'I'
3523
3524#define VKI_ION_IOC_ALLOC \
3525   _VKI_IOWR(VKI_ION_IOC_MAGIC, 0, struct vki_ion_allocation_data)
3526
3527#define VKI_ION_IOC_FREE \
3528   _VKI_IOWR(VKI_ION_IOC_MAGIC, 1, struct vki_ion_handle_data)
3529
3530#define VKI_ION_IOC_MAP \
3531   _VKI_IOWR(VKI_ION_IOC_MAGIC, 2, struct vki_ion_fd_data)
3532
3533#define VKI_ION_IOC_SHARE \
3534   _VKI_IOWR(VKI_ION_IOC_MAGIC, 4, struct vki_ion_fd_data)
3535
3536#define VKI_ION_IOC_IMPORT \
3537   _VKI_IOWR(VKI_ION_IOC_MAGIC, 5, struct vki_ion_fd_data)
3538
3539#define VKI_ION_IOC_SYNC \
3540   _VKI_IOWR(VKI_ION_IOC_MAGIC, 7, struct vki_ion_fd_data)
3541
3542#define VKI_ION_IOC_CUSTOM \
3543   _VKI_IOWR(VKI_ION_IOC_MAGIC, 6, struct vki_ion_custom_data)
3544
3545//----------------------------------------------------------------------
3546// From drivers/staging/lustre/lustre/include/lustre/lustre_user.h
3547//----------------------------------------------------------------------
3548
3549struct vki_lu_fid {
3550	__vki_u64	f_seq;
3551	__vki_u32	f_oid;
3552	__vki_u32	f_ver;
3553};
3554
3555//----------------------------------------------------------------------
3556// From drivers/staging/lustre/lustre/include/lustre/lustre_idl.h
3557//----------------------------------------------------------------------
3558
3559struct vki_getinfo_fid2path {
3560	struct vki_lu_fid	gf_fid;
3561	__vki_u64		gf_recno;
3562	__vki_u32		gf_linkno;
3563	__vki_u32		gf_pathlen;
3564	char			gf_path[0];
3565} __attribute__((packed));
3566
3567//----------------------------------------------------------------------
3568// From drivers/staging/lustre/lustre/include/linux/lustre_lib.h
3569//----------------------------------------------------------------------
3570
3571#define VKI_OBD_IOC_DATA_TYPE               long
3572
3573//----------------------------------------------------------------------
3574// From drivers/staging/lustre/lustre/include/lustre_lib.h
3575//----------------------------------------------------------------------
3576
3577#define VKI_OBD_IOC_FID2PATH \
3578           _VKI_IOWR ('f', 150, VKI_OBD_IOC_DATA_TYPE)
3579
3580struct vki_v4l2_rect {
3581	__vki_s32   left;
3582	__vki_s32   top;
3583	__vki_u32   width;
3584	__vki_u32   height;
3585};
3586
3587struct vki_v4l2_fract {
3588	__vki_u32   numerator;
3589	__vki_u32   denominator;
3590};
3591
3592struct vki_v4l2_capability {
3593	__vki_u8	driver[16];
3594	__vki_u8	card[32];
3595	__vki_u8	bus_info[32];
3596	__vki_u32   version;
3597	__vki_u32	capabilities;
3598	__vki_u32	device_caps;
3599	__vki_u32	reserved[3];
3600};
3601
3602struct vki_v4l2_pix_format {
3603	__vki_u32         		width;
3604	__vki_u32			height;
3605	__vki_u32			pixelformat;
3606	__vki_u32			field;		/* enum vki_v4l2_field */
3607	__vki_u32            	bytesperline;	/* for padding, zero if unused */
3608	__vki_u32          		sizeimage;
3609	__vki_u32			colorspace;	/* enum vki_v4l2_colorspace */
3610	__vki_u32			priv;		/* private data, depends on pixelformat */
3611	__vki_u32			flags;		/* format flags (VKI_V4L2_PIX_FMT_FLAG_*) */
3612};
3613
3614struct vki_v4l2_fmtdesc {
3615	__vki_u32		    index;             /* Format number      */
3616	__vki_u32		    type;              /* enum vki_v4l2_buf_type */
3617	__vki_u32               flags;
3618	__vki_u8		    description[32];   /* Description string */
3619	__vki_u32		    pixelformat;       /* Format fourcc      */
3620	__vki_u32		    reserved[4];
3621};
3622
3623struct vki_v4l2_frmsize_discrete {
3624	__vki_u32			width;		/* Frame width [pixel] */
3625	__vki_u32			height;		/* Frame height [pixel] */
3626};
3627
3628struct vki_v4l2_frmsize_stepwise {
3629	__vki_u32			min_width;	/* Minimum frame width [pixel] */
3630	__vki_u32			max_width;	/* Maximum frame width [pixel] */
3631	__vki_u32			step_width;	/* Frame width step size [pixel] */
3632	__vki_u32			min_height;	/* Minimum frame height [pixel] */
3633	__vki_u32			max_height;	/* Maximum frame height [pixel] */
3634	__vki_u32			step_height;	/* Frame height step size [pixel] */
3635};
3636
3637struct vki_v4l2_frmsizeenum {
3638	__vki_u32			index;		/* Frame size number */
3639	__vki_u32			pixel_format;	/* Pixel format */
3640	__vki_u32			type;		/* Frame size type the device supports. */
3641
3642	union {					/* Frame size */
3643		struct vki_v4l2_frmsize_discrete	discrete;
3644		struct vki_v4l2_frmsize_stepwise	stepwise;
3645	};
3646
3647	__vki_u32   reserved[2];			/* Reserved space for future use */
3648};
3649
3650struct vki_v4l2_frmival_stepwise {
3651	struct vki_v4l2_fract	min;
3652	struct vki_v4l2_fract	max;
3653	struct vki_v4l2_fract	step;
3654};
3655
3656struct vki_v4l2_frmivalenum {
3657	__vki_u32			index;
3658	__vki_u32			pixel_format;
3659	__vki_u32			width;
3660	__vki_u32			height;
3661	__vki_u32			type;
3662
3663	union {
3664		struct vki_v4l2_fract		discrete;
3665		struct vki_v4l2_frmival_stepwise	stepwise;
3666	};
3667
3668	__vki_u32	reserved[2];
3669};
3670
3671struct vki_v4l2_timecode {
3672	__vki_u32	type;
3673	__vki_u32	flags;
3674	__vki_u8	frames;
3675	__vki_u8	seconds;
3676	__vki_u8	minutes;
3677	__vki_u8	hours;
3678	__vki_u8	userbits[4];
3679};
3680
3681struct vki_v4l2_jpegcompression {
3682	int quality;
3683	int  APPn;
3684	int  APP_len;
3685	char APP_data[60];
3686	int  COM_len;
3687	char COM_data[60];
3688	__vki_u32 jpeg_markers;
3689};
3690
3691struct vki_v4l2_requestbuffers {
3692	__vki_u32			count;
3693	__vki_u32			type;
3694	__vki_u32			memory;
3695	__vki_u32			reserved[2];
3696};
3697
3698struct vki_v4l2_plane {
3699	__vki_u32			bytesused;
3700	__vki_u32			length;
3701	union {
3702		__vki_u32		mem_offset;
3703		unsigned long	userptr;
3704		__vki_s32		fd;
3705	} m;
3706	__vki_u32			data_offset;
3707	__vki_u32			reserved[11];
3708};
3709
3710#define VKI_V4L2_MEMORY_MMAP             1
3711#define VKI_V4L2_MEMORY_DMABUF           4
3712#define VKI_V4L2_BUF_FLAG_TIMESTAMP_MASK		0x0000e000
3713#define VKI_V4L2_BUF_FLAG_TIMESTAMP_COPY		0x00004000
3714struct vki_v4l2_buffer {
3715	__vki_u32			index;
3716	__vki_u32			type;
3717	__vki_u32			bytesused;
3718	__vki_u32			flags;
3719	__vki_u32			field;
3720	struct vki_timeval		timestamp;
3721	struct vki_v4l2_timecode	timecode;
3722	__vki_u32			sequence;
3723
3724	/* memory location */
3725	__vki_u32			memory;
3726	union {
3727		__vki_u32           offset;
3728		unsigned long   userptr;
3729		struct vki_v4l2_plane *planes;
3730		__vki_s32		fd;
3731	} m;
3732	__vki_u32			length;
3733	__vki_u32			reserved2;
3734	__vki_u32			reserved;
3735};
3736
3737struct vki_v4l2_exportbuffer {
3738	__vki_u32		type; /* enum vki_v4l2_buf_type */
3739	__vki_u32		index;
3740	__vki_u32		plane;
3741	__vki_u32		flags;
3742	__vki_s32		fd;
3743	__vki_u32		reserved[11];
3744};
3745
3746struct vki_v4l2_framebuffer {
3747	__vki_u32			capability;
3748	__vki_u32			flags;
3749	void                    *base;
3750	struct {
3751		__vki_u32		width;
3752		__vki_u32		height;
3753		__vki_u32		pixelformat;
3754		__vki_u32		field;		/* enum vki_v4l2_field */
3755		__vki_u32		bytesperline;	/* for padding, zero if unused */
3756		__vki_u32		sizeimage;
3757		__vki_u32		colorspace;	/* enum vki_v4l2_colorspace */
3758		__vki_u32		priv;		/* reserved field, set to 0 */
3759	} fmt;
3760};
3761
3762struct vki_v4l2_clip {
3763	struct vki_v4l2_rect        c;
3764	struct vki_v4l2_clip	__user *next;
3765};
3766
3767struct vki_v4l2_window {
3768	struct vki_v4l2_rect        w;
3769	__vki_u32			field;	 /* enum vki_v4l2_field */
3770	__vki_u32			chromakey;
3771	struct vki_v4l2_clip	__user *clips;
3772	__vki_u32			clipcount;
3773	void			__user *bitmap;
3774	__vki_u8                    global_alpha;
3775};
3776
3777struct vki_v4l2_captureparm {
3778	__vki_u32		   capability;	  /*  Supported modes */
3779	__vki_u32		   capturemode;	  /*  Current mode */
3780	struct vki_v4l2_fract  timeperframe;  /*  Time per frame in seconds */
3781	__vki_u32		   extendedmode;  /*  Driver-specific extensions */
3782	__vki_u32              readbuffers;   /*  # of buffers for read */
3783	__vki_u32		   reserved[4];
3784};
3785
3786struct vki_v4l2_outputparm {
3787	__vki_u32		   capability;	 /*  Supported modes */
3788	__vki_u32		   outputmode;	 /*  Current mode */
3789	struct vki_v4l2_fract  timeperframe; /*  Time per frame in seconds */
3790	__vki_u32		   extendedmode; /*  Driver-specific extensions */
3791	__vki_u32              writebuffers; /*  # of buffers for write */
3792	__vki_u32		   reserved[4];
3793};
3794
3795struct vki_v4l2_cropcap {
3796	__vki_u32			type;	/* enum vki_v4l2_buf_type */
3797	struct vki_v4l2_rect        bounds;
3798	struct vki_v4l2_rect        defrect;
3799	struct vki_v4l2_fract       pixelaspect;
3800};
3801
3802struct vki_v4l2_crop {
3803	__vki_u32			type;	/* enum vki_v4l2_buf_type */
3804	struct vki_v4l2_rect        c;
3805};
3806
3807struct vki_v4l2_selection {
3808	__vki_u32			type;
3809	__vki_u32			target;
3810	__vki_u32                   flags;
3811	struct vki_v4l2_rect        r;
3812	__vki_u32                   reserved[9];
3813};
3814
3815typedef __vki_u64 vki_v4l2_std_id;
3816
3817struct vki_v4l2_standard {
3818	__vki_u32		     index;
3819	vki_v4l2_std_id          id;
3820	__vki_u8		     name[24];
3821	struct vki_v4l2_fract    frameperiod; /* Frames, not fields */
3822	__vki_u32		     framelines;
3823	__vki_u32		     reserved[4];
3824};
3825
3826struct vki_v4l2_bt_timings {
3827	__vki_u32	width;
3828	__vki_u32	height;
3829	__vki_u32	interlaced;
3830	__vki_u32	polarities;
3831	__vki_u64	pixelclock;
3832	__vki_u32	hfrontporch;
3833	__vki_u32	hsync;
3834	__vki_u32	hbackporch;
3835	__vki_u32	vfrontporch;
3836	__vki_u32	vsync;
3837	__vki_u32	vbackporch;
3838	__vki_u32	il_vfrontporch;
3839	__vki_u32	il_vsync;
3840	__vki_u32	il_vbackporch;
3841	__vki_u32	standards;
3842	__vki_u32	flags;
3843	__vki_u32	reserved[14];
3844} __attribute__ ((packed));
3845
3846struct vki_v4l2_dv_timings {
3847	__vki_u32 type;
3848	union {
3849		struct vki_v4l2_bt_timings	bt;
3850		__vki_u32	reserved[32];
3851	};
3852} __attribute__ ((packed));
3853
3854struct vki_v4l2_enum_dv_timings {
3855	__vki_u32 index;
3856	__vki_u32 pad;
3857	__vki_u32 reserved[2];
3858	struct vki_v4l2_dv_timings timings;
3859};
3860
3861struct vki_v4l2_bt_timings_cap {
3862	__vki_u32	min_width;
3863	__vki_u32	max_width;
3864	__vki_u32	min_height;
3865	__vki_u32	max_height;
3866	__vki_u64	min_pixelclock;
3867	__vki_u64	max_pixelclock;
3868	__vki_u32	standards;
3869	__vki_u32	capabilities;
3870	__vki_u32	reserved[16];
3871} __attribute__ ((packed));
3872
3873struct vki_v4l2_dv_timings_cap {
3874	__vki_u32 type;
3875	__vki_u32 pad;
3876	__vki_u32 reserved[2];
3877	union {
3878		struct vki_v4l2_bt_timings_cap bt;
3879		__vki_u32 raw_data[32];
3880	};
3881};
3882
3883struct vki_v4l2_input {
3884	__vki_u32	     index;		/*  Which input */
3885	__vki_u8	     name[32];		/*  Label */
3886	__vki_u32	     type;		/*  Type of input */
3887	__vki_u32	     audioset;		/*  Associated audios (bitfield) */
3888	__vki_u32        tuner;             /*  enum vki_v4l2_tuner_type */
3889	vki_v4l2_std_id  std;
3890	__vki_u32	     status;
3891	__vki_u32	     capabilities;
3892	__vki_u32	     reserved[3];
3893};
3894
3895struct vki_v4l2_output {
3896	__vki_u32	     index;		/*  Which output */
3897	__vki_u8	     name[32];		/*  Label */
3898	__vki_u32	     type;		/*  Type of output */
3899	__vki_u32	     audioset;		/*  Associated audios (bitfield) */
3900	__vki_u32	     modulator;         /*  Associated modulator */
3901	vki_v4l2_std_id  std;
3902	__vki_u32	     capabilities;
3903	__vki_u32	     reserved[3];
3904};
3905
3906struct vki_v4l2_control {
3907	__vki_u32		     id;
3908	__vki_s32		     value;
3909};
3910
3911struct vki_v4l2_ext_control {
3912	__vki_u32 id;
3913	__vki_u32 size;
3914	__vki_u32 reserved2[1];
3915	union {
3916		__vki_s32 value;
3917		__vki_s64 value64;
3918		char *string;
3919		__vki_u8 *p_u8;
3920		__vki_u16 *p_u16;
3921		__vki_u32 *p_u32;
3922		void *ptr;
3923	};
3924} __attribute__ ((packed));
3925
3926struct vki_v4l2_ext_controls {
3927	__vki_u32 ctrl_class;
3928	__vki_u32 count;
3929	__vki_u32 error_idx;
3930	__vki_u32 reserved[2];
3931	struct vki_v4l2_ext_control *controls;
3932};
3933
3934struct vki_v4l2_queryctrl {
3935	__vki_u32		     id;
3936	__vki_u32		     type;	/* enum vki_v4l2_ctrl_type */
3937	__vki_u8		     name[32];	/* Whatever */
3938	__vki_s32		     minimum;	/* Note signedness */
3939	__vki_s32		     maximum;
3940	__vki_s32		     step;
3941	__vki_s32		     default_value;
3942	__vki_u32                flags;
3943	__vki_u32		     reserved[2];
3944};
3945
3946#define VKI_V4L2_CTRL_MAX_DIMS	  (4)
3947struct vki_v4l2_query_ext_ctrl {
3948	__vki_u32		     id;
3949	__vki_u32		     type;
3950	char		     name[32];
3951	__vki_s64		     minimum;
3952	__vki_s64		     maximum;
3953	__vki_u64		     step;
3954	__vki_s64		     default_value;
3955	__vki_u32                flags;
3956	__vki_u32                elem_size;
3957	__vki_u32                elems;
3958	__vki_u32                nr_of_dims;
3959	__vki_u32                dims[VKI_V4L2_CTRL_MAX_DIMS];
3960	__vki_u32		     reserved[32];
3961};
3962
3963struct vki_v4l2_querymenu {
3964	__vki_u32		id;
3965	__vki_u32		index;
3966	union {
3967		__vki_u8	name[32];	/* Whatever */
3968		__vki_s64	value;
3969	};
3970	__vki_u32		reserved;
3971} __attribute__ ((packed));
3972
3973struct vki_v4l2_tuner {
3974	__vki_u32                   index;
3975	__vki_u8			name[32];
3976	__vki_u32			type;	/* enum vki_v4l2_tuner_type */
3977	__vki_u32			capability;
3978	__vki_u32			rangelow;
3979	__vki_u32			rangehigh;
3980	__vki_u32			rxsubchans;
3981	__vki_u32			audmode;
3982	__vki_s32			signal;
3983	__vki_s32			afc;
3984	__vki_u32			reserved[4];
3985};
3986
3987struct vki_v4l2_modulator {
3988	__vki_u32			index;
3989	__vki_u8			name[32];
3990	__vki_u32			capability;
3991	__vki_u32			rangelow;
3992	__vki_u32			rangehigh;
3993	__vki_u32			txsubchans;
3994	__vki_u32			reserved[4];
3995};
3996
3997struct vki_v4l2_frequency {
3998	__vki_u32	tuner;
3999	__vki_u32	type;	/* enum vki_v4l2_tuner_type */
4000	__vki_u32	frequency;
4001	__vki_u32	reserved[8];
4002};
4003
4004struct vki_v4l2_frequency_band {
4005	__vki_u32	tuner;
4006	__vki_u32	type;	/* enum vki_v4l2_tuner_type */
4007	__vki_u32	index;
4008	__vki_u32	capability;
4009	__vki_u32	rangelow;
4010	__vki_u32	rangehigh;
4011	__vki_u32	modulation;
4012	__vki_u32	reserved[9];
4013};
4014
4015struct vki_v4l2_hw_freq_seek {
4016	__vki_u32	tuner;
4017	__vki_u32	type;	/* enum vki_v4l2_tuner_type */
4018	__vki_u32	seek_upward;
4019	__vki_u32	wrap_around;
4020	__vki_u32	spacing;
4021	__vki_u32	rangelow;
4022	__vki_u32	rangehigh;
4023	__vki_u32	reserved[5];
4024};
4025
4026struct vki_v4l2_audio {
4027	__vki_u32	index;
4028	__vki_u8	name[32];
4029	__vki_u32	capability;
4030	__vki_u32	mode;
4031	__vki_u32	reserved[2];
4032};
4033
4034struct vki_v4l2_audioout {
4035	__vki_u32	index;
4036	__vki_u8	name[32];
4037	__vki_u32	capability;
4038	__vki_u32	mode;
4039	__vki_u32	reserved[2];
4040};
4041
4042struct vki_v4l2_enc_idx_entry {
4043	__vki_u64 offset;
4044	__vki_u64 pts;
4045	__vki_u32 length;
4046	__vki_u32 flags;
4047	__vki_u32 reserved[2];
4048};
4049
4050#define VKI_V4L2_ENC_IDX_ENTRIES (64)
4051struct vki_v4l2_enc_idx {
4052	__vki_u32 entries;
4053	__vki_u32 entries_cap;
4054	__vki_u32 reserved[4];
4055	struct vki_v4l2_enc_idx_entry entry[VKI_V4L2_ENC_IDX_ENTRIES];
4056};
4057
4058struct vki_v4l2_encoder_cmd {
4059	__vki_u32 cmd;
4060	__vki_u32 flags;
4061	union {
4062		struct {
4063			__vki_u32 data[8];
4064		} raw;
4065	};
4066};
4067
4068struct vki_v4l2_decoder_cmd {
4069	__vki_u32 cmd;
4070	__vki_u32 flags;
4071	union {
4072		struct {
4073			__vki_u64 pts;
4074		} stop;
4075
4076		struct {
4077			__vki_s32 speed;
4078			__vki_u32 format;
4079		} start;
4080
4081		struct {
4082			__vki_u32 data[16];
4083		} raw;
4084	};
4085};
4086
4087struct vki_v4l2_vbi_format {
4088	__vki_u32	sampling_rate;		/* in 1 Hz */
4089	__vki_u32	offset;
4090	__vki_u32	samples_per_line;
4091	__vki_u32	sample_format;		/* VKI_V4L2_PIX_FMT_* */
4092	__vki_s32	start[2];
4093	__vki_u32	count[2];
4094	__vki_u32	flags;			/* VKI_V4L2_VBI_* */
4095	__vki_u32	reserved[2];		/* must be zero */
4096};
4097
4098struct vki_v4l2_sliced_vbi_format {
4099	__vki_u16   service_set;
4100	__vki_u16   service_lines[2][24];
4101	__vki_u32   io_size;
4102	__vki_u32   reserved[2];            /* must be zero */
4103};
4104
4105struct vki_v4l2_sliced_vbi_cap {
4106	__vki_u16   service_set;
4107	__vki_u16   service_lines[2][24];
4108	__vki_u32	type;		/* enum vki_v4l2_buf_type */
4109	__vki_u32   reserved[3];    /* must be 0 */
4110};
4111
4112struct vki_v4l2_sliced_vbi_data {
4113	__vki_u32   id;
4114	__vki_u32   field;          /* 0: first field, 1: second field */
4115	__vki_u32   line;           /* 1-23 */
4116	__vki_u32   reserved;       /* must be 0 */
4117	__vki_u8    data[48];
4118};
4119
4120struct vki_v4l2_plane_pix_format {
4121	__vki_u32		sizeimage;
4122	__vki_u16		bytesperline;
4123	__vki_u16		reserved[7];
4124} __attribute__ ((packed));
4125
4126#define VKI_VIDEO_MAX_PLANES               8
4127
4128struct vki_v4l2_pix_format_mplane {
4129	__vki_u32				width;
4130	__vki_u32				height;
4131	__vki_u32				pixelformat;
4132	__vki_u32				field;
4133	__vki_u32				colorspace;
4134
4135	struct vki_v4l2_plane_pix_format	plane_fmt[VKI_VIDEO_MAX_PLANES];
4136	__vki_u8				num_planes;
4137	__vki_u8				flags;
4138	__vki_u8				reserved[10];
4139} __attribute__ ((packed));
4140
4141struct vki_v4l2_sdr_format {
4142	__vki_u32				pixelformat;
4143	__vki_u32				buffersize;
4144	__vki_u8				reserved[24];
4145} __attribute__ ((packed));
4146
4147enum vki_v4l2_buf_type {
4148	VKI_V4L2_BUF_TYPE_VIDEO_CAPTURE        = 1,
4149	VKI_V4L2_BUF_TYPE_VIDEO_OUTPUT         = 2,
4150	VKI_V4L2_BUF_TYPE_VIDEO_OVERLAY        = 3,
4151	VKI_V4L2_BUF_TYPE_VBI_CAPTURE          = 4,
4152	VKI_V4L2_BUF_TYPE_VBI_OUTPUT           = 5,
4153	VKI_V4L2_BUF_TYPE_SLICED_VBI_CAPTURE   = 6,
4154	VKI_V4L2_BUF_TYPE_SLICED_VBI_OUTPUT    = 7,
4155	VKI_V4L2_BUF_TYPE_VIDEO_OUTPUT_OVERLAY = 8,
4156	VKI_V4L2_BUF_TYPE_VIDEO_CAPTURE_MPLANE = 9,
4157	VKI_V4L2_BUF_TYPE_VIDEO_OUTPUT_MPLANE  = 10,
4158	VKI_V4L2_BUF_TYPE_SDR_CAPTURE          = 11,
4159};
4160
4161struct vki_v4l2_format {
4162	__vki_u32	 type;
4163	union {
4164		struct vki_v4l2_pix_format		pix;
4165		struct vki_v4l2_pix_format_mplane	pix_mp;
4166		struct vki_v4l2_window		win;
4167		struct vki_v4l2_vbi_format		vbi;
4168		struct vki_v4l2_sliced_vbi_format	sliced;
4169		struct vki_v4l2_sdr_format		sdr;
4170		__vki_u8	raw_data[200];
4171	} fmt;
4172};
4173
4174struct vki_v4l2_streamparm {
4175	__vki_u32	 type;
4176	union {
4177		struct vki_v4l2_captureparm	capture;
4178		struct vki_v4l2_outputparm	output;
4179		__vki_u8	raw_data[200];  /* user-defined */
4180	} parm;
4181};
4182
4183struct vki_v4l2_event_vsync {
4184	__vki_u8 field;
4185} __attribute__ ((packed));
4186
4187struct vki_v4l2_event_ctrl {
4188	__vki_u32 changes;
4189	__vki_u32 type;
4190	union {
4191		__vki_s32 value;
4192		__vki_s64 value64;
4193	};
4194	__vki_u32 flags;
4195	__vki_s32 minimum;
4196	__vki_s32 maximum;
4197	__vki_s32 step;
4198	__vki_s32 default_value;
4199};
4200
4201struct vki_v4l2_event_frame_sync {
4202	__vki_u32 frame_sequence;
4203};
4204
4205struct vki_v4l2_event_src_change {
4206	__vki_u32 changes;
4207};
4208
4209struct vki_v4l2_event_motion_det {
4210	__vki_u32 flags;
4211	__vki_u32 frame_sequence;
4212	__vki_u32 region_mask;
4213};
4214
4215struct vki_v4l2_event {
4216	__vki_u32				type;
4217	union {
4218		struct vki_v4l2_event_vsync		vsync;
4219		struct vki_v4l2_event_ctrl		ctrl;
4220		struct vki_v4l2_event_frame_sync	frame_sync;
4221		struct vki_v4l2_event_src_change	src_change;
4222		struct vki_v4l2_event_motion_det	motion_det;
4223		__vki_u8				data[64];
4224	} u;
4225	__vki_u32				pending;
4226	__vki_u32				sequence;
4227	struct vki_timespec			timestamp;
4228	__vki_u32				id;
4229	__vki_u32				reserved[8];
4230};
4231
4232struct vki_v4l2_event_subscription {
4233	__vki_u32				type;
4234	__vki_u32				id;
4235	__vki_u32				flags;
4236	__vki_u32				reserved[5];
4237};
4238
4239struct vki_v4l2_dbg_match {
4240	__vki_u32 type; /* Match type */
4241	union {     /* Match this chip, meaning determined by type */
4242		__vki_u32 addr;
4243		char name[32];
4244	};
4245} __attribute__ ((packed));
4246
4247struct vki_v4l2_dbg_register {
4248	struct vki_v4l2_dbg_match match;
4249	__vki_u32 size;	/* register size in bytes */
4250	__vki_u64 reg;
4251	__vki_u64 val;
4252} __attribute__ ((packed));
4253
4254struct vki_v4l2_dbg_chip_info {
4255	struct vki_v4l2_dbg_match match;
4256	char name[32];
4257	__vki_u32 flags;
4258	__vki_u32 reserved[32];
4259} __attribute__ ((packed));
4260
4261struct vki_v4l2_create_buffers {
4262	__vki_u32			index;
4263	__vki_u32			count;
4264	__vki_u32			memory;
4265	struct vki_v4l2_format	format;
4266	__vki_u32			reserved[8];
4267};
4268
4269struct vki_v4l2_edid {
4270	__vki_u32 pad;
4271	__vki_u32 start_block;
4272	__vki_u32 blocks;
4273	__vki_u32 reserved[5];
4274	__vki_u8  *edid;
4275};
4276
4277#define VKI_V4L2_QUERYCAP		_VKI_IOR('V',  0, struct vki_v4l2_capability)
4278#define VKI_V4L2_ENUM_FMT		_VKI_IOWR('V',  2, struct vki_v4l2_fmtdesc)
4279#define VKI_V4L2_G_FMT			_VKI_IOWR('V',  4, struct vki_v4l2_format)
4280#define VKI_V4L2_S_FMT			_VKI_IOWR('V',  5, struct vki_v4l2_format)
4281#define VKI_V4L2_REQBUFS		_VKI_IOWR('V',  8, struct vki_v4l2_requestbuffers)
4282#define VKI_V4L2_QUERYBUF		_VKI_IOWR('V',  9, struct vki_v4l2_buffer)
4283#define VKI_V4L2_G_FBUF		 	_VKI_IOR('V', 10, struct vki_v4l2_framebuffer)
4284#define VKI_V4L2_S_FBUF		 	_VKI_IOW('V', 11, struct vki_v4l2_framebuffer)
4285#define VKI_V4L2_OVERLAY	 	_VKI_IOW('V', 14, int)
4286#define VKI_V4L2_QBUF			_VKI_IOWR('V', 15, struct vki_v4l2_buffer)
4287#define VKI_V4L2_EXPBUF			_VKI_IOWR('V', 16, struct vki_v4l2_exportbuffer)
4288#define VKI_V4L2_DQBUF			_VKI_IOWR('V', 17, struct vki_v4l2_buffer)
4289#define VKI_V4L2_STREAMON	 	_VKI_IOW('V', 18, int)
4290#define VKI_V4L2_STREAMOFF	 	_VKI_IOW('V', 19, int)
4291#define VKI_V4L2_G_PARM			_VKI_IOWR('V', 21, struct vki_v4l2_streamparm)
4292#define VKI_V4L2_S_PARM			_VKI_IOWR('V', 22, struct vki_v4l2_streamparm)
4293#define VKI_V4L2_G_STD			_VKI_IOR('V', 23, vki_v4l2_std_id)
4294#define VKI_V4L2_S_STD			_VKI_IOW('V', 24, vki_v4l2_std_id)
4295#define VKI_V4L2_ENUMSTD		_VKI_IOWR('V', 25, struct vki_v4l2_standard)
4296#define VKI_V4L2_ENUMINPUT		_VKI_IOWR('V', 26, struct vki_v4l2_input)
4297#define VKI_V4L2_G_CTRL			_VKI_IOWR('V', 27, struct vki_v4l2_control)
4298#define VKI_V4L2_S_CTRL			_VKI_IOWR('V', 28, struct vki_v4l2_control)
4299#define VKI_V4L2_G_TUNER		_VKI_IOWR('V', 29, struct vki_v4l2_tuner)
4300#define VKI_V4L2_S_TUNER		_VKI_IOW('V', 30, struct vki_v4l2_tuner)
4301#define VKI_V4L2_G_AUDIO		_VKI_IOR('V', 33, struct vki_v4l2_audio)
4302#define VKI_V4L2_S_AUDIO		_VKI_IOW('V', 34, struct vki_v4l2_audio)
4303#define VKI_V4L2_QUERYCTRL		_VKI_IOWR('V', 36, struct vki_v4l2_queryctrl)
4304#define VKI_V4L2_QUERYMENU		_VKI_IOWR('V', 37, struct vki_v4l2_querymenu)
4305#define VKI_V4L2_G_INPUT		_VKI_IOR('V', 38, int)
4306#define VKI_V4L2_S_INPUT		_VKI_IOWR('V', 39, int)
4307#define VKI_V4L2_G_EDID			_VKI_IOWR('V', 40, struct vki_v4l2_edid)
4308#define VKI_V4L2_S_EDID			_VKI_IOWR('V', 41, struct vki_v4l2_edid)
4309#define VKI_V4L2_G_OUTPUT		_VKI_IOR('V', 46, int)
4310#define VKI_V4L2_S_OUTPUT		_VKI_IOWR('V', 47, int)
4311#define VKI_V4L2_ENUMOUTPUT		_VKI_IOWR('V', 48, struct vki_v4l2_output)
4312#define VKI_V4L2_G_AUDOUT		_VKI_IOR('V', 49, struct vki_v4l2_audioout)
4313#define VKI_V4L2_S_AUDOUT		_VKI_IOW('V', 50, struct vki_v4l2_audioout)
4314#define VKI_V4L2_G_MODULATOR		_VKI_IOWR('V', 54, struct vki_v4l2_modulator)
4315#define VKI_V4L2_S_MODULATOR		_VKI_IOW('V', 55, struct vki_v4l2_modulator)
4316#define VKI_V4L2_G_FREQUENCY		_VKI_IOWR('V', 56, struct vki_v4l2_frequency)
4317#define VKI_V4L2_S_FREQUENCY		_VKI_IOW('V', 57, struct vki_v4l2_frequency)
4318#define VKI_V4L2_CROPCAP		_VKI_IOWR('V', 58, struct vki_v4l2_cropcap)
4319#define VKI_V4L2_G_CROP			_VKI_IOWR('V', 59, struct vki_v4l2_crop)
4320#define VKI_V4L2_S_CROP			_VKI_IOW('V', 60, struct vki_v4l2_crop)
4321#define VKI_V4L2_G_JPEGCOMP		_VKI_IOR('V', 61, struct vki_v4l2_jpegcompression)
4322#define VKI_V4L2_S_JPEGCOMP		_VKI_IOW('V', 62, struct vki_v4l2_jpegcompression)
4323#define VKI_V4L2_QUERYSTD      		_VKI_IOR('V', 63, vki_v4l2_std_id)
4324#define VKI_V4L2_TRY_FMT      		_VKI_IOWR('V', 64, struct vki_v4l2_format)
4325#define VKI_V4L2_ENUMAUDIO		_VKI_IOWR('V', 65, struct vki_v4l2_audio)
4326#define VKI_V4L2_ENUMAUDOUT		_VKI_IOWR('V', 66, struct vki_v4l2_audioout)
4327#define VKI_V4L2_G_PRIORITY		_VKI_IOR('V', 67, __vki_u32)
4328#define VKI_V4L2_S_PRIORITY		_VKI_IOW('V', 68, __vki_u32)
4329#define VKI_V4L2_G_SLICED_VBI_CAP 	_VKI_IOWR('V', 69, struct vki_v4l2_sliced_vbi_cap)
4330#define VKI_V4L2_LOG_STATUS     	_VKI_IO('V', 70)
4331#define VKI_V4L2_G_EXT_CTRLS		_VKI_IOWR('V', 71, struct vki_v4l2_ext_controls)
4332#define VKI_V4L2_S_EXT_CTRLS		_VKI_IOWR('V', 72, struct vki_v4l2_ext_controls)
4333#define VKI_V4L2_TRY_EXT_CTRLS		_VKI_IOWR('V', 73, struct vki_v4l2_ext_controls)
4334#define VKI_V4L2_ENUM_FRAMESIZES	_VKI_IOWR('V', 74, struct vki_v4l2_frmsizeenum)
4335#define VKI_V4L2_ENUM_FRAMEINTERVALS 	_VKI_IOWR('V', 75, struct vki_v4l2_frmivalenum)
4336#define VKI_V4L2_G_ENC_INDEX    	_VKI_IOR('V', 76, struct vki_v4l2_enc_idx)
4337#define VKI_V4L2_ENCODER_CMD    	_VKI_IOWR('V', 77, struct vki_v4l2_encoder_cmd)
4338#define VKI_V4L2_TRY_ENCODER_CMD 	_VKI_IOWR('V', 78, struct vki_v4l2_encoder_cmd)
4339#define	VKI_V4L2_DBG_S_REGISTER 	_VKI_IOW('V', 79, struct vki_v4l2_dbg_register)
4340#define	VKI_V4L2_DBG_G_REGISTER 	_VKI_IOWR('V', 80, struct vki_v4l2_dbg_register)
4341#define VKI_V4L2_S_HW_FREQ_SEEK		_VKI_IOW('V', 82, struct vki_v4l2_hw_freq_seek)
4342#define	VKI_V4L2_S_DV_TIMINGS		_VKI_IOWR('V', 87, struct vki_v4l2_dv_timings)
4343#define	VKI_V4L2_G_DV_TIMINGS		_VKI_IOWR('V', 88, struct vki_v4l2_dv_timings)
4344#define	VKI_V4L2_DQEVENT		_VKI_IOR('V', 89, struct vki_v4l2_event)
4345#define	VKI_V4L2_SUBSCRIBE_EVENT	_VKI_IOW('V', 90, struct vki_v4l2_event_subscription)
4346#define	VKI_V4L2_UNSUBSCRIBE_EVENT 	_VKI_IOW('V', 91, struct vki_v4l2_event_subscription)
4347#define VKI_V4L2_CREATE_BUFS		_VKI_IOWR('V', 92, struct vki_v4l2_create_buffers)
4348#define VKI_V4L2_PREPARE_BUF		_VKI_IOWR('V', 93, struct vki_v4l2_buffer)
4349#define VKI_V4L2_G_SELECTION		_VKI_IOWR('V', 94, struct vki_v4l2_selection)
4350#define VKI_V4L2_S_SELECTION		_VKI_IOWR('V', 95, struct vki_v4l2_selection)
4351#define VKI_V4L2_DECODER_CMD		_VKI_IOWR('V', 96, struct vki_v4l2_decoder_cmd)
4352#define VKI_V4L2_TRY_DECODER_CMD	_VKI_IOWR('V', 97, struct vki_v4l2_decoder_cmd)
4353#define VKI_V4L2_ENUM_DV_TIMINGS 	_VKI_IOWR('V', 98, struct vki_v4l2_enum_dv_timings)
4354#define VKI_V4L2_QUERY_DV_TIMINGS 	_VKI_IOR('V', 99, struct vki_v4l2_dv_timings)
4355#define VKI_V4L2_DV_TIMINGS_CAP   	_VKI_IOWR('V', 100, struct vki_v4l2_dv_timings_cap)
4356#define VKI_V4L2_ENUM_FREQ_BANDS	_VKI_IOWR('V', 101, struct vki_v4l2_frequency_band)
4357#define VKI_V4L2_DBG_G_CHIP_INFO 	_VKI_IOWR('V', 102, struct vki_v4l2_dbg_chip_info)
4358#define VKI_V4L2_QUERY_EXT_CTRL		_VKI_IOWR('V', 103, struct vki_v4l2_query_ext_ctrl)
4359
4360struct vki_v4l2_mbus_framefmt {
4361	__vki_u32			width;
4362	__vki_u32			height;
4363	__vki_u32			code;
4364	__vki_u32			field;
4365	__vki_u32			colorspace;
4366	__vki_u32			reserved[7];
4367};
4368
4369struct vki_v4l2_subdev_format {
4370	__vki_u32 which;
4371	__vki_u32 pad;
4372	struct vki_v4l2_mbus_framefmt format;
4373	__vki_u32 reserved[8];
4374};
4375
4376struct vki_v4l2_subdev_crop {
4377	__vki_u32 which;
4378	__vki_u32 pad;
4379	struct vki_v4l2_rect rect;
4380	__vki_u32 reserved[8];
4381};
4382
4383struct vki_v4l2_subdev_mbus_code_enum {
4384	__vki_u32 pad;
4385	__vki_u32 index;
4386	__vki_u32 code;
4387	__vki_u32 reserved[9];
4388};
4389
4390struct vki_v4l2_subdev_frame_size_enum {
4391	__vki_u32 index;
4392	__vki_u32 pad;
4393	__vki_u32 code;
4394	__vki_u32 min_width;
4395	__vki_u32 max_width;
4396	__vki_u32 min_height;
4397	__vki_u32 max_height;
4398	__vki_u32 reserved[9];
4399};
4400
4401struct vki_v4l2_subdev_frame_interval {
4402	__vki_u32 pad;
4403	struct vki_v4l2_fract interval;
4404	__vki_u32 reserved[9];
4405};
4406
4407struct vki_v4l2_subdev_frame_interval_enum {
4408	__vki_u32 index;
4409	__vki_u32 pad;
4410	__vki_u32 code;
4411	__vki_u32 width;
4412	__vki_u32 height;
4413	struct vki_v4l2_fract interval;
4414	__vki_u32 reserved[9];
4415};
4416
4417struct vki_v4l2_subdev_selection {
4418	__vki_u32 which;
4419	__vki_u32 pad;
4420	__vki_u32 target;
4421	__vki_u32 flags;
4422	struct vki_v4l2_rect r;
4423	__vki_u32 reserved[8];
4424};
4425
4426#define VKI_V4L2_SUBDEV_G_FMT			_VKI_IOWR('V',  4, struct vki_v4l2_subdev_format)
4427#define VKI_V4L2_SUBDEV_S_FMT			_VKI_IOWR('V',  5, struct vki_v4l2_subdev_format)
4428#define VKI_V4L2_SUBDEV_G_FRAME_INTERVAL	_VKI_IOWR('V', 21, struct vki_v4l2_subdev_frame_interval)
4429#define VKI_V4L2_SUBDEV_S_FRAME_INTERVAL	_VKI_IOWR('V', 22, struct vki_v4l2_subdev_frame_interval)
4430#define VKI_V4L2_SUBDEV_ENUM_MBUS_CODE		_VKI_IOWR('V',  2, struct vki_v4l2_subdev_mbus_code_enum)
4431#define VKI_V4L2_SUBDEV_ENUM_FRAME_SIZE		_VKI_IOWR('V', 74, struct vki_v4l2_subdev_frame_size_enum)
4432#define VKI_V4L2_SUBDEV_ENUM_FRAME_INTERVAL	_VKI_IOWR('V', 75, struct vki_v4l2_subdev_frame_interval_enum)
4433#define VKI_V4L2_SUBDEV_G_CROP			_VKI_IOWR('V', 59, struct vki_v4l2_subdev_crop)
4434#define VKI_V4L2_SUBDEV_S_CROP			_VKI_IOWR('V', 60, struct vki_v4l2_subdev_crop)
4435#define VKI_V4L2_SUBDEV_G_SELECTION		_VKI_IOWR('V', 61, struct vki_v4l2_subdev_selection)
4436#define VKI_V4L2_SUBDEV_S_SELECTION		_VKI_IOWR('V', 62, struct vki_v4l2_subdev_selection)
4437
4438struct vki_media_device_info {
4439	char driver[16];
4440	char model[32];
4441	char serial[40];
4442	char bus_info[32];
4443	__vki_u32 media_version;
4444	__vki_u32 hw_revision;
4445	__vki_u32 driver_version;
4446	__vki_u32 reserved[31];
4447};
4448
4449struct vki_media_entity_desc {
4450	__vki_u32 id;
4451	char name[32];
4452	__vki_u32 type;
4453	__vki_u32 revision;
4454	__vki_u32 flags;
4455	__vki_u32 group_id;
4456	__vki_u16 pads;
4457	__vki_u16 links;
4458
4459	__vki_u32 reserved[4];
4460
4461	union {
4462		/* Node specifications */
4463		struct {
4464			__vki_u32 major;
4465			__vki_u32 minor;
4466		} v4l;
4467		struct {
4468			__vki_u32 major;
4469			__vki_u32 minor;
4470		} fb;
4471		struct {
4472			__vki_u32 card;
4473			__vki_u32 device;
4474			__vki_u32 subdevice;
4475		} alsa;
4476		int dvb;
4477
4478		/* Sub-device specifications */
4479		/* Nothing needed yet */
4480		__vki_u8 raw[184];
4481	};
4482};
4483
4484struct vki_media_pad_desc {
4485	__vki_u32 entity;		/* entity ID */
4486	__vki_u16 index;		/* pad index */
4487	__vki_u32 flags;		/* pad flags */
4488	__vki_u32 reserved[2];
4489};
4490
4491struct vki_media_link_desc {
4492	struct vki_media_pad_desc source;
4493	struct vki_media_pad_desc sink;
4494	__vki_u32 flags;
4495	__vki_u32 reserved[2];
4496};
4497
4498struct vki_media_links_enum {
4499	__vki_u32 entity;
4500	struct vki_media_pad_desc __user *pads;
4501	struct vki_media_link_desc __user *links;
4502	__vki_u32 reserved[4];
4503};
4504
4505#define VKI_MEDIA_IOC_DEVICE_INFO		_VKI_IOWR('|', 0x00, struct vki_media_device_info)
4506#define VKI_MEDIA_IOC_ENUM_ENTITIES		_VKI_IOWR('|', 0x01, struct vki_media_entity_desc)
4507#define VKI_MEDIA_IOC_ENUM_LINKS		_VKI_IOWR('|', 0x02, struct vki_media_links_enum)
4508#define VKI_MEDIA_IOC_SETUP_LINK		_VKI_IOWR('|', 0x03, struct vki_media_link_desc)
4509
4510/* Comparison type */
4511enum vki_kcmp_type {
4512   VKI_KCMP_FILE,
4513   VKI_KCMP_VM,
4514   VKI_KCMP_FILES,
4515   VKI_KCMP_FS,
4516   VKI_KCMP_SIGHAND,
4517   VKI_KCMP_IO,
4518   VKI_KCMP_SYSVSEM,
4519
4520   VKI_KCMP_TYPES
4521};
4522
4523#endif // __VKI_LINUX_H
4524
4525/*--------------------------------------------------------------------*/
4526/*--- end                                                          ---*/
4527/*--------------------------------------------------------------------*/
4528