sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 1 | |
| 2 | /*--------------------------------------------------------------------*/ |
| 3 | /*--- arm/Linux-specific kernel interface. vki-arm-linux.h ---*/ |
| 4 | /*--------------------------------------------------------------------*/ |
| 5 | |
| 6 | /* |
| 7 | This file is part of Valgrind, a dynamic binary instrumentation |
| 8 | framework. |
| 9 | |
sewardj | 03f8d3f | 2012-08-05 15:46:46 +0000 | [diff] [blame] | 10 | Copyright (C) 2000-2012 Julian Seward |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 11 | jseward@acm.org |
| 12 | |
| 13 | This program is free software; you can redistribute it and/or |
| 14 | modify it under the terms of the GNU General Public License as |
| 15 | published by the Free Software Foundation; either version 2 of the |
| 16 | License, or (at your option) any later version. |
| 17 | |
| 18 | This program is distributed in the hope that it will be useful, but |
| 19 | WITHOUT ANY WARRANTY; without even the implied warranty of |
| 20 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 21 | General Public License for more details. |
| 22 | |
| 23 | You should have received a copy of the GNU General Public License |
| 24 | along with this program; if not, write to the Free Software |
| 25 | Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 26 | 02111-1307, USA. |
| 27 | |
| 28 | The GNU General Public License is contained in the file COPYING. |
| 29 | */ |
| 30 | |
| 31 | #ifndef __VKI_ARM_LINUX_H |
| 32 | #define __VKI_ARM_LINUX_H |
| 33 | |
| 34 | // arm is little-endian. |
| 35 | #define VKI_LITTLE_ENDIAN 1 |
| 36 | |
sewardj | e61a628 | 2011-03-24 11:33:00 +0000 | [diff] [blame] | 37 | // The various comments below indicating i386-ness should be regarded |
| 38 | // with great skepticism -- they are quite possibly wrong. But see |
| 39 | // also bug 269079 comment 0. |
| 40 | |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 41 | //---------------------------------------------------------------------- |
| 42 | // From linux-2.6.8.1/include/asm-i386/types.h |
| 43 | //---------------------------------------------------------------------- |
| 44 | |
| 45 | typedef unsigned char __vki_u8; |
| 46 | |
| 47 | typedef __signed__ short __vki_s16; |
| 48 | typedef unsigned short __vki_u16; |
| 49 | |
| 50 | typedef __signed__ int __vki_s32; |
| 51 | typedef unsigned int __vki_u32; |
| 52 | |
| 53 | typedef __signed__ long long __vki_s64; |
| 54 | typedef unsigned long long __vki_u64; |
| 55 | |
| 56 | typedef unsigned short vki_u16; |
| 57 | |
| 58 | typedef unsigned int vki_u32; |
| 59 | |
| 60 | //---------------------------------------------------------------------- |
| 61 | // From linux-2.6.8.1/include/asm-i386/page.h |
| 62 | //---------------------------------------------------------------------- |
| 63 | |
| 64 | /* PAGE_SHIFT determines the page size */ |
| 65 | #define VKI_PAGE_SHIFT 12 |
| 66 | #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT) |
| 67 | #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT |
| 68 | #define VKI_MAX_PAGE_SIZE VKI_PAGE_SIZE |
| 69 | |
| 70 | //---------------------------------------------------------------------- |
sewardj | a69c2de | 2010-10-06 15:55:59 +0000 | [diff] [blame] | 71 | // From linux-2.6.35.4/arch/arm/include/asm/shmparam.h |
| 72 | //---------------------------------------------------------------------- |
| 73 | |
| 74 | #define VKI_SHMLBA (4 * VKI_PAGE_SIZE) |
| 75 | |
| 76 | //---------------------------------------------------------------------- |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 77 | // From linux-2.6.8.1/include/asm-i386/signal.h |
| 78 | //---------------------------------------------------------------------- |
| 79 | |
| 80 | #define VKI_MINSIGSTKSZ 2048 |
| 81 | |
| 82 | #define VKI_SIG_BLOCK 0 /* for blocking signals */ |
| 83 | #define VKI_SIG_UNBLOCK 1 /* for unblocking signals */ |
| 84 | #define VKI_SIG_SETMASK 2 /* for setting the signal mask */ |
| 85 | |
| 86 | /* Type of a signal handler. */ |
| 87 | typedef void __vki_signalfn_t(int); |
| 88 | typedef __vki_signalfn_t __user *__vki_sighandler_t; |
| 89 | |
| 90 | typedef void __vki_restorefn_t(void); |
| 91 | typedef __vki_restorefn_t __user *__vki_sigrestore_t; |
| 92 | |
| 93 | #define VKI_SIG_DFL ((__vki_sighandler_t)0) /* default signal handling */ |
| 94 | #define VKI_SIG_IGN ((__vki_sighandler_t)1) /* ignore signal */ |
| 95 | |
| 96 | #define _VKI_NSIG 64 |
| 97 | #define _VKI_NSIG_BPW 32 |
| 98 | #define _VKI_NSIG_WORDS (_VKI_NSIG / _VKI_NSIG_BPW) |
| 99 | |
| 100 | typedef unsigned long vki_old_sigset_t; /* at least 32 bits */ |
| 101 | |
| 102 | typedef struct { |
| 103 | unsigned long sig[_VKI_NSIG_WORDS]; |
| 104 | } vki_sigset_t; |
| 105 | |
| 106 | #define VKI_SIGHUP 1 |
| 107 | #define VKI_SIGINT 2 |
| 108 | #define VKI_SIGQUIT 3 |
| 109 | #define VKI_SIGILL 4 |
| 110 | #define VKI_SIGTRAP 5 |
| 111 | #define VKI_SIGABRT 6 |
| 112 | //#define VKI_SIGIOT 6 |
| 113 | #define VKI_SIGBUS 7 |
| 114 | #define VKI_SIGFPE 8 |
| 115 | #define VKI_SIGKILL 9 |
| 116 | #define VKI_SIGUSR1 10 |
| 117 | #define VKI_SIGSEGV 11 |
| 118 | #define VKI_SIGUSR2 12 |
| 119 | #define VKI_SIGPIPE 13 |
| 120 | #define VKI_SIGALRM 14 |
| 121 | #define VKI_SIGTERM 15 |
| 122 | #define VKI_SIGSTKFLT 16 |
| 123 | #define VKI_SIGCHLD 17 |
| 124 | #define VKI_SIGCONT 18 |
| 125 | #define VKI_SIGSTOP 19 |
| 126 | #define VKI_SIGTSTP 20 |
| 127 | #define VKI_SIGTTIN 21 |
| 128 | #define VKI_SIGTTOU 22 |
| 129 | #define VKI_SIGURG 23 |
| 130 | #define VKI_SIGXCPU 24 |
| 131 | #define VKI_SIGXFSZ 25 |
| 132 | #define VKI_SIGVTALRM 26 |
| 133 | #define VKI_SIGPROF 27 |
| 134 | #define VKI_SIGWINCH 28 |
| 135 | #define VKI_SIGIO 29 |
| 136 | #define VKI_SIGPWR 30 |
| 137 | #define VKI_SIGSYS 31 |
| 138 | #define VKI_SIGUNUSED 31 |
| 139 | |
| 140 | /* These should not be considered constants from userland. */ |
| 141 | #define VKI_SIGRTMIN 32 |
| 142 | // [[This was (_NSIG-1) in 2.4.X... not sure if it matters.]] |
| 143 | #define VKI_SIGRTMAX _VKI_NSIG |
| 144 | |
| 145 | #define VKI_SA_NOCLDSTOP 0x00000001u |
| 146 | #define VKI_SA_NOCLDWAIT 0x00000002u |
| 147 | #define VKI_SA_SIGINFO 0x00000004u |
| 148 | #define VKI_SA_ONSTACK 0x08000000u |
| 149 | #define VKI_SA_RESTART 0x10000000u |
| 150 | #define VKI_SA_NODEFER 0x40000000u |
| 151 | #define VKI_SA_RESETHAND 0x80000000u |
| 152 | |
| 153 | #define VKI_SA_NOMASK VKI_SA_NODEFER |
| 154 | #define VKI_SA_ONESHOT VKI_SA_RESETHAND |
| 155 | //#define VKI_SA_INTERRUPT 0x20000000 /* dummy -- ignored */ |
| 156 | |
| 157 | #define VKI_SA_RESTORER 0x04000000 |
| 158 | |
| 159 | #define VKI_SS_ONSTACK 1 |
| 160 | #define VKI_SS_DISABLE 2 |
| 161 | |
| 162 | struct vki_old_sigaction { |
| 163 | // [[Nb: a 'k' prefix is added to "sa_handler" because |
| 164 | // bits/sigaction.h (which gets dragged in somehow via signal.h) |
| 165 | // #defines it as something else. Since that is done for glibc's |
| 166 | // purposes, which we don't care about here, we use our own name.]] |
| 167 | __vki_sighandler_t ksa_handler; |
| 168 | vki_old_sigset_t sa_mask; |
| 169 | unsigned long sa_flags; |
| 170 | __vki_sigrestore_t sa_restorer; |
| 171 | }; |
| 172 | |
| 173 | struct vki_sigaction_base { |
| 174 | // [[See comment about extra 'k' above]] |
| 175 | __vki_sighandler_t ksa_handler; |
| 176 | unsigned long sa_flags; |
| 177 | __vki_sigrestore_t sa_restorer; |
| 178 | vki_sigset_t sa_mask; /* mask last for extensibility */ |
| 179 | }; |
| 180 | |
| 181 | /* On Linux we use the same type for passing sigactions to |
| 182 | and from the kernel. Hence: */ |
| 183 | typedef struct vki_sigaction_base vki_sigaction_toK_t; |
| 184 | typedef struct vki_sigaction_base vki_sigaction_fromK_t; |
| 185 | |
| 186 | |
| 187 | typedef struct vki_sigaltstack { |
| 188 | void __user *ss_sp; |
| 189 | int ss_flags; |
| 190 | vki_size_t ss_size; |
| 191 | } vki_stack_t; |
| 192 | |
| 193 | //---------------------------------------------------------------------- |
| 194 | // From linux-2.6.8.1/include/asm-i386/sigcontext.h |
| 195 | //---------------------------------------------------------------------- |
| 196 | |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 197 | struct vki_sigcontext { |
| 198 | unsigned long trap_no; |
| 199 | unsigned long error_code; |
| 200 | unsigned long oldmask; |
| 201 | unsigned long arm_r0; |
| 202 | unsigned long arm_r1; |
| 203 | unsigned long arm_r2; |
| 204 | unsigned long arm_r3; |
| 205 | unsigned long arm_r4; |
| 206 | unsigned long arm_r5; |
| 207 | unsigned long arm_r6; |
| 208 | unsigned long arm_r7; |
| 209 | unsigned long arm_r8; |
| 210 | unsigned long arm_r9; |
| 211 | unsigned long arm_r10; |
| 212 | unsigned long arm_fp; |
| 213 | unsigned long arm_ip; |
| 214 | unsigned long arm_sp; |
| 215 | unsigned long arm_lr; |
| 216 | unsigned long arm_pc; |
| 217 | unsigned long arm_cpsr; |
| 218 | unsigned long fault_address; |
| 219 | }; |
| 220 | |
| 221 | //---------------------------------------------------------------------- |
| 222 | // From linux-2.6.8.1/include/asm-i386/mman.h |
| 223 | //---------------------------------------------------------------------- |
| 224 | |
| 225 | #define VKI_PROT_NONE 0x0 /* No page permissions */ |
| 226 | #define VKI_PROT_READ 0x1 /* page can be read */ |
| 227 | #define VKI_PROT_WRITE 0x2 /* page can be written */ |
| 228 | #define VKI_PROT_EXEC 0x4 /* page can be executed */ |
| 229 | #define VKI_PROT_GROWSDOWN 0x01000000 /* mprotect flag: extend change to start of growsdown vma */ |
| 230 | #define VKI_PROT_GROWSUP 0x02000000 /* mprotect flag: extend change to end of growsup vma */ |
| 231 | |
| 232 | #define VKI_MAP_SHARED 0x01 /* Share changes */ |
| 233 | #define VKI_MAP_PRIVATE 0x02 /* Changes are private */ |
| 234 | //#define VKI_MAP_TYPE 0x0f /* Mask for type of mapping */ |
| 235 | #define VKI_MAP_FIXED 0x10 /* Interpret addr exactly */ |
| 236 | #define VKI_MAP_ANONYMOUS 0x20 /* don't use a file */ |
| 237 | #define VKI_MAP_NORESERVE 0x4000 /* don't check for reservations */ |
| 238 | |
| 239 | //---------------------------------------------------------------------- |
| 240 | // From linux-2.6.8.1/include/asm-i386/fcntl.h |
| 241 | //---------------------------------------------------------------------- |
| 242 | |
tom | 91a16b7 | 2013-01-14 22:14:21 +0000 | [diff] [blame] | 243 | #define VKI_O_ACCMODE 03 |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 244 | #define VKI_O_RDONLY 00 |
| 245 | #define VKI_O_WRONLY 01 |
| 246 | #define VKI_O_RDWR 02 |
| 247 | #define VKI_O_CREAT 0100 /* not fcntl */ |
| 248 | #define VKI_O_EXCL 0200 /* not fcntl */ |
| 249 | #define VKI_O_TRUNC 01000 /* not fcntl */ |
| 250 | #define VKI_O_APPEND 02000 |
| 251 | #define VKI_O_NONBLOCK 04000 |
| 252 | #define VKI_O_LARGEFILE 0100000 |
| 253 | |
| 254 | #define VKI_AT_FDCWD -100 |
| 255 | |
| 256 | #define VKI_F_DUPFD 0 /* dup */ |
| 257 | #define VKI_F_GETFD 1 /* get close_on_exec */ |
| 258 | #define VKI_F_SETFD 2 /* set/clear close_on_exec */ |
| 259 | #define VKI_F_GETFL 3 /* get file->f_flags */ |
| 260 | #define VKI_F_SETFL 4 /* set file->f_flags */ |
| 261 | #define VKI_F_GETLK 5 |
| 262 | #define VKI_F_SETLK 6 |
| 263 | #define VKI_F_SETLKW 7 |
| 264 | |
| 265 | #define VKI_F_SETOWN 8 /* for sockets. */ |
| 266 | #define VKI_F_GETOWN 9 /* for sockets. */ |
| 267 | #define VKI_F_SETSIG 10 /* for sockets. */ |
| 268 | #define VKI_F_GETSIG 11 /* for sockets. */ |
| 269 | |
| 270 | #define VKI_F_GETLK64 12 /* using 'struct flock64' */ |
| 271 | #define VKI_F_SETLK64 13 |
| 272 | #define VKI_F_SETLKW64 14 |
| 273 | |
tom | 835a714 | 2012-02-09 12:21:47 +0000 | [diff] [blame] | 274 | #define VKI_F_SETOWN_EX 15 |
| 275 | #define VKI_F_GETOWN_EX 16 |
| 276 | |
| 277 | #define VKI_F_OWNER_TID 0 |
| 278 | #define VKI_F_OWNER_PID 1 |
| 279 | #define VKI_F_OWNER_PGRP 2 |
| 280 | |
| 281 | struct vki_f_owner_ex { |
| 282 | int type; |
| 283 | __vki_kernel_pid_t pid; |
| 284 | }; |
| 285 | |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 286 | /* for F_[GET|SET]FL */ |
| 287 | #define VKI_FD_CLOEXEC 1 /* actually anything with low bit set goes */ |
| 288 | |
| 289 | #define VKI_F_LINUX_SPECIFIC_BASE 1024 |
| 290 | |
| 291 | //---------------------------------------------------------------------- |
| 292 | // From linux-2.6.8.1/include/asm-i386/resource.h |
| 293 | //---------------------------------------------------------------------- |
| 294 | |
| 295 | #define VKI_RLIMIT_DATA 2 /* max data size */ |
| 296 | #define VKI_RLIMIT_STACK 3 /* max stack size */ |
| 297 | #define VKI_RLIMIT_CORE 4 /* max core file size */ |
| 298 | #define VKI_RLIMIT_NOFILE 7 /* max number of open files */ |
| 299 | |
| 300 | //---------------------------------------------------------------------- |
| 301 | // From linux-2.6.8.1/include/asm-i386/socket.h |
| 302 | //---------------------------------------------------------------------- |
| 303 | |
| 304 | #define VKI_SOL_SOCKET 1 |
| 305 | |
| 306 | #define VKI_SO_TYPE 3 |
| 307 | |
tom | 8f420f1 | 2013-07-18 11:15:41 +0000 | [diff] [blame] | 308 | #define VKI_SO_ATTACH_FILTER 26 |
| 309 | |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 310 | //---------------------------------------------------------------------- |
| 311 | // From linux-2.6.8.1/include/asm-i386/sockios.h |
| 312 | //---------------------------------------------------------------------- |
| 313 | |
| 314 | #define VKI_SIOCSPGRP 0x8902 |
| 315 | #define VKI_SIOCGPGRP 0x8904 |
| 316 | #define VKI_SIOCGSTAMP 0x8906 /* Get stamp (timeval) */ |
| 317 | #define VKI_SIOCGSTAMPNS 0x8907 /* Get stamp (timespec) */ |
| 318 | |
| 319 | //---------------------------------------------------------------------- |
| 320 | // From linux-2.6.8.1/include/asm-i386/stat.h |
| 321 | //---------------------------------------------------------------------- |
| 322 | |
| 323 | struct vki_stat { |
| 324 | unsigned long st_dev; |
| 325 | unsigned long st_ino; |
| 326 | unsigned short st_mode; |
| 327 | unsigned short st_nlink; |
| 328 | unsigned short st_uid; |
| 329 | unsigned short st_gid; |
| 330 | unsigned long st_rdev; |
| 331 | unsigned long st_size; |
| 332 | unsigned long st_blksize; |
| 333 | unsigned long st_blocks; |
| 334 | unsigned long st_atime; |
| 335 | unsigned long st_atime_nsec; |
| 336 | unsigned long st_mtime; |
| 337 | unsigned long st_mtime_nsec; |
| 338 | unsigned long st_ctime; |
| 339 | unsigned long st_ctime_nsec; |
| 340 | unsigned long __unused4; |
| 341 | unsigned long __unused5; |
| 342 | }; |
| 343 | |
| 344 | struct vki_stat64 { |
| 345 | unsigned long long st_dev; |
| 346 | unsigned char __pad0[4]; |
| 347 | |
| 348 | #define STAT64_HAS_BROKEN_ST_INO 1 |
| 349 | unsigned long __st_ino; |
| 350 | |
| 351 | unsigned int st_mode; |
| 352 | unsigned int st_nlink; |
| 353 | |
| 354 | unsigned long st_uid; |
| 355 | unsigned long st_gid; |
| 356 | |
| 357 | unsigned long long st_rdev; |
| 358 | unsigned char __pad3[4]; |
| 359 | |
| 360 | long long st_size; |
| 361 | unsigned long st_blksize; |
| 362 | |
| 363 | unsigned long st_blocks; /* Number 512-byte blocks allocated. */ |
| 364 | unsigned long __pad4; /* future possible st_blocks high bits */ |
| 365 | |
| 366 | unsigned long st_atime; |
| 367 | unsigned long st_atime_nsec; |
| 368 | |
| 369 | unsigned long st_mtime; |
| 370 | unsigned int st_mtime_nsec; |
| 371 | |
| 372 | unsigned long st_ctime; |
| 373 | unsigned long st_ctime_nsec; |
| 374 | |
| 375 | unsigned long long st_ino; |
| 376 | }; |
| 377 | |
| 378 | //---------------------------------------------------------------------- |
| 379 | // From linux-2.6.8.1/include/asm-i386/statfs.h |
| 380 | //---------------------------------------------------------------------- |
| 381 | |
| 382 | // [[Nb: asm-i386/statfs.h just #include asm-generic/statfs.h directly]] |
| 383 | struct vki_statfs { |
| 384 | __vki_u32 f_type; |
| 385 | __vki_u32 f_bsize; |
| 386 | __vki_u32 f_blocks; |
| 387 | __vki_u32 f_bfree; |
| 388 | __vki_u32 f_bavail; |
| 389 | __vki_u32 f_files; |
| 390 | __vki_u32 f_ffree; |
| 391 | __vki_kernel_fsid_t f_fsid; |
| 392 | __vki_u32 f_namelen; |
| 393 | __vki_u32 f_frsize; |
| 394 | __vki_u32 f_spare[5]; |
| 395 | }; |
| 396 | |
| 397 | //---------------------------------------------------------------------- |
| 398 | // From linux-2.6.8.1/include/asm-i386/termios.h |
| 399 | //---------------------------------------------------------------------- |
| 400 | |
| 401 | struct vki_winsize { |
| 402 | unsigned short ws_row; |
| 403 | unsigned short ws_col; |
| 404 | unsigned short ws_xpixel; |
| 405 | unsigned short ws_ypixel; |
| 406 | }; |
| 407 | |
| 408 | #define VKI_NCC 8 |
| 409 | struct vki_termio { |
| 410 | unsigned short c_iflag; /* input mode flags */ |
| 411 | unsigned short c_oflag; /* output mode flags */ |
| 412 | unsigned short c_cflag; /* control mode flags */ |
| 413 | unsigned short c_lflag; /* local mode flags */ |
| 414 | unsigned char c_line; /* line discipline */ |
| 415 | unsigned char c_cc[VKI_NCC]; /* control characters */ |
| 416 | }; |
| 417 | |
| 418 | |
| 419 | //---------------------------------------------------------------------- |
| 420 | // From linux-2.6.8.1/include/asm-i386/termbits.h |
| 421 | //---------------------------------------------------------------------- |
| 422 | |
| 423 | typedef unsigned char vki_cc_t; |
| 424 | typedef unsigned int vki_tcflag_t; |
| 425 | |
| 426 | #define VKI_NCCS 19 |
| 427 | struct vki_termios { |
| 428 | vki_tcflag_t c_iflag; /* input mode flags */ |
| 429 | vki_tcflag_t c_oflag; /* output mode flags */ |
| 430 | vki_tcflag_t c_cflag; /* control mode flags */ |
| 431 | vki_tcflag_t c_lflag; /* local mode flags */ |
| 432 | vki_cc_t c_line; /* line discipline */ |
| 433 | vki_cc_t c_cc[VKI_NCCS]; /* control characters */ |
| 434 | }; |
| 435 | |
| 436 | //---------------------------------------------------------------------- |
| 437 | // From linux-2.6.8.1/include/asm-i386/ioctl.h |
| 438 | //---------------------------------------------------------------------- |
| 439 | |
| 440 | #define _VKI_IOC_NRBITS 8 |
| 441 | #define _VKI_IOC_TYPEBITS 8 |
| 442 | #define _VKI_IOC_SIZEBITS 14 |
| 443 | #define _VKI_IOC_DIRBITS 2 |
| 444 | |
| 445 | #define _VKI_IOC_NRMASK ((1 << _VKI_IOC_NRBITS)-1) |
| 446 | #define _VKI_IOC_TYPEMASK ((1 << _VKI_IOC_TYPEBITS)-1) |
| 447 | #define _VKI_IOC_SIZEMASK ((1 << _VKI_IOC_SIZEBITS)-1) |
| 448 | #define _VKI_IOC_DIRMASK ((1 << _VKI_IOC_DIRBITS)-1) |
| 449 | |
| 450 | #define _VKI_IOC_NRSHIFT 0 |
| 451 | #define _VKI_IOC_TYPESHIFT (_VKI_IOC_NRSHIFT+_VKI_IOC_NRBITS) |
| 452 | #define _VKI_IOC_SIZESHIFT (_VKI_IOC_TYPESHIFT+_VKI_IOC_TYPEBITS) |
| 453 | #define _VKI_IOC_DIRSHIFT (_VKI_IOC_SIZESHIFT+_VKI_IOC_SIZEBITS) |
| 454 | |
| 455 | #define _VKI_IOC_NONE 0U |
| 456 | #define _VKI_IOC_WRITE 1U |
| 457 | #define _VKI_IOC_READ 2U |
| 458 | |
| 459 | #define _VKI_IOC(dir,type,nr,size) \ |
| 460 | (((dir) << _VKI_IOC_DIRSHIFT) | \ |
| 461 | ((type) << _VKI_IOC_TYPESHIFT) | \ |
| 462 | ((nr) << _VKI_IOC_NRSHIFT) | \ |
| 463 | ((size) << _VKI_IOC_SIZESHIFT)) |
| 464 | |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 465 | /* used to create numbers */ |
| 466 | #define _VKI_IO(type,nr) _VKI_IOC(_VKI_IOC_NONE,(type),(nr),0) |
| 467 | #define _VKI_IOR(type,nr,size) _VKI_IOC(_VKI_IOC_READ,(type),(nr),(_VKI_IOC_TYPECHECK(size))) |
| 468 | #define _VKI_IOW(type,nr,size) _VKI_IOC(_VKI_IOC_WRITE,(type),(nr),(_VKI_IOC_TYPECHECK(size))) |
| 469 | #define _VKI_IOWR(type,nr,size) _VKI_IOC(_VKI_IOC_READ|_VKI_IOC_WRITE,(type),(nr),(_VKI_IOC_TYPECHECK(size))) |
| 470 | |
| 471 | /* used to decode ioctl numbers.. */ |
| 472 | #define _VKI_IOC_DIR(nr) (((nr) >> _VKI_IOC_DIRSHIFT) & _VKI_IOC_DIRMASK) |
| 473 | #define _VKI_IOC_TYPE(nr) (((nr) >> _VKI_IOC_TYPESHIFT) & _VKI_IOC_TYPEMASK) |
| 474 | #define _VKI_IOC_NR(nr) (((nr) >> _VKI_IOC_NRSHIFT) & _VKI_IOC_NRMASK) |
| 475 | #define _VKI_IOC_SIZE(nr) (((nr) >> _VKI_IOC_SIZESHIFT) & _VKI_IOC_SIZEMASK) |
| 476 | |
| 477 | //---------------------------------------------------------------------- |
| 478 | // From linux-2.6.8.1/include/asm-i386/ioctls.h |
| 479 | //---------------------------------------------------------------------- |
| 480 | |
| 481 | #define VKI_TCGETS 0x5401 |
| 482 | #define VKI_TCSETS 0x5402 /* Clashes with SNDCTL_TMR_START sound ioctl */ |
| 483 | #define VKI_TCSETSW 0x5403 |
| 484 | #define VKI_TCSETSF 0x5404 |
| 485 | #define VKI_TCGETA 0x5405 |
| 486 | #define VKI_TCSETA 0x5406 |
| 487 | #define VKI_TCSETAW 0x5407 |
| 488 | #define VKI_TCSETAF 0x5408 |
| 489 | #define VKI_TCSBRK 0x5409 |
| 490 | #define VKI_TCXONC 0x540A |
| 491 | #define VKI_TCFLSH 0x540B |
| 492 | #define VKI_TIOCSCTTY 0x540E |
| 493 | #define VKI_TIOCGPGRP 0x540F |
| 494 | #define VKI_TIOCSPGRP 0x5410 |
| 495 | #define VKI_TIOCOUTQ 0x5411 |
| 496 | #define VKI_TIOCGWINSZ 0x5413 |
| 497 | #define VKI_TIOCSWINSZ 0x5414 |
| 498 | #define VKI_TIOCMGET 0x5415 |
| 499 | #define VKI_TIOCMBIS 0x5416 |
| 500 | #define VKI_TIOCMBIC 0x5417 |
| 501 | #define VKI_TIOCMSET 0x5418 |
| 502 | #define VKI_FIONREAD 0x541B |
| 503 | #define VKI_TIOCLINUX 0x541C |
| 504 | #define VKI_FIONBIO 0x5421 |
| 505 | #define VKI_TCSBRKP 0x5425 /* Needed for POSIX tcsendbreak() */ |
| 506 | #define VKI_TIOCGPTN _VKI_IOR('T',0x30, unsigned int) /* Get Pty Number (of pty-mux device) */ |
| 507 | #define VKI_TIOCSPTLCK _VKI_IOW('T',0x31, int) /* Lock/unlock Pty */ |
| 508 | |
tom | a52c835 | 2013-07-18 11:22:10 +0000 | [diff] [blame] | 509 | #define VKI_FIONCLEX 0x5450 |
| 510 | #define VKI_FIOCLEX 0x5451 |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 511 | #define VKI_FIOASYNC 0x5452 |
| 512 | #define VKI_TIOCSERGETLSR 0x5459 /* Get line status register */ |
| 513 | |
| 514 | #define VKI_TIOCGICOUNT 0x545D /* read serial port inline interrupt counts */ |
| 515 | |
| 516 | //---------------------------------------------------------------------- |
tom | 6bf71ef | 2011-08-10 14:25:06 +0000 | [diff] [blame] | 517 | // From linux-2.6.39-rc2/arch/arm/include/asm/ioctls.h |
| 518 | //---------------------------------------------------------------------- |
| 519 | |
| 520 | #define VKI_FIOQSIZE 0x545E |
| 521 | |
| 522 | //---------------------------------------------------------------------- |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 523 | // From asm-generic/poll.h |
| 524 | //---------------------------------------------------------------------- |
| 525 | |
| 526 | /* These are specified by iBCS2 */ |
| 527 | #define VKI_POLLIN 0x0001 |
| 528 | |
| 529 | struct vki_pollfd { |
| 530 | int fd; |
| 531 | short events; |
| 532 | short revents; |
| 533 | }; |
| 534 | |
| 535 | //---------------------------------------------------------------------- |
| 536 | // From linux-2.6.8.1/include/asm-i386/user.h |
| 537 | //---------------------------------------------------------------------- |
| 538 | |
sewardj | e61a628 | 2011-03-24 11:33:00 +0000 | [diff] [blame] | 539 | struct vki_user_fp { |
| 540 | struct vki_fp_reg { |
| 541 | unsigned int sign1:1; |
| 542 | unsigned int unused:15; |
| 543 | unsigned int sign2:1; |
| 544 | unsigned int exponent:14; |
| 545 | unsigned int j:1; |
| 546 | unsigned int mantissa1:31; |
| 547 | unsigned int mantissa0:32; |
| 548 | } fpregs[8]; |
| 549 | unsigned int fpsr:32; |
| 550 | unsigned int fpcr:32; |
| 551 | unsigned char ftype[8]; |
| 552 | unsigned int init_flag; |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 553 | }; |
| 554 | |
sewardj | e61a628 | 2011-03-24 11:33:00 +0000 | [diff] [blame] | 555 | struct vki_user_vfp { |
| 556 | unsigned long long fpregs[32]; |
| 557 | unsigned long fpscr; |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 558 | }; |
| 559 | |
sewardj | e61a628 | 2011-03-24 11:33:00 +0000 | [diff] [blame] | 560 | #define VKI_IWMMXT_SIZE 0x98 |
| 561 | |
| 562 | struct vki_iwmmxt_struct { |
| 563 | unsigned int save[VKI_IWMMXT_SIZE / sizeof(unsigned int)]; |
| 564 | }; |
| 565 | |
| 566 | struct vki_crunch_state { |
| 567 | unsigned int mvdx[16][2]; |
| 568 | unsigned int mvax[4][3]; |
| 569 | unsigned int dspsc[2]; |
| 570 | }; |
| 571 | |
| 572 | #define VKI_CRUNCH_SIZE sizeof(struct vki_crunch_state) |
| 573 | |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 574 | struct vki_user_regs_struct { |
| 575 | long uregs[18]; |
| 576 | }; |
| 577 | #define ARM_cpsr uregs[16] |
| 578 | #define ARM_pc uregs[15] |
| 579 | #define ARM_lr uregs[14] |
| 580 | #define ARM_sp uregs[13] |
| 581 | #define ARM_ip uregs[12] |
| 582 | #define ARM_fp uregs[11] |
| 583 | #define ARM_r10 uregs[10] |
| 584 | #define ARM_r9 uregs[9] |
| 585 | #define ARM_r8 uregs[8] |
| 586 | #define ARM_r7 uregs[7] |
| 587 | #define ARM_r6 uregs[6] |
| 588 | #define ARM_r5 uregs[5] |
| 589 | #define ARM_r4 uregs[4] |
| 590 | #define ARM_r3 uregs[3] |
| 591 | #define ARM_r2 uregs[2] |
| 592 | #define ARM_r1 uregs[1] |
| 593 | #define ARM_r0 uregs[0] |
| 594 | #define ARM_ORIG_r0 uregs[17] |
| 595 | //---------------------------------------------------------------------- |
| 596 | // From linux-2.6.8.1/include/asm-i386/elf.h |
| 597 | //---------------------------------------------------------------------- |
| 598 | |
| 599 | typedef unsigned long vki_elf_greg_t; |
| 600 | |
| 601 | #define VKI_ELF_NGREG (sizeof (struct vki_user_regs_struct) / sizeof(vki_elf_greg_t)) |
| 602 | typedef vki_elf_greg_t vki_elf_gregset_t[VKI_ELF_NGREG]; |
| 603 | |
sewardj | e61a628 | 2011-03-24 11:33:00 +0000 | [diff] [blame] | 604 | typedef struct vki_user_fp vki_elf_fpregset_t; |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 605 | |
| 606 | #define VKI_AT_SYSINFO 32 |
| 607 | |
| 608 | //---------------------------------------------------------------------- |
| 609 | // From linux-2.6.8.1/include/asm-i386/ucontext.h |
| 610 | //---------------------------------------------------------------------- |
| 611 | |
| 612 | struct vki_ucontext { |
| 613 | unsigned long uc_flags; |
| 614 | struct vki_ucontext *uc_link; |
| 615 | vki_stack_t uc_stack; |
| 616 | struct vki_sigcontext uc_mcontext; |
| 617 | vki_sigset_t uc_sigmask; /* mask last for extensibility */ |
| 618 | int __unused[32 - (sizeof (vki_sigset_t) / sizeof (int))]; |
| 619 | unsigned long uc_regspace[128] __attribute__((__aligned__(8))); |
| 620 | |
| 621 | }; |
| 622 | |
| 623 | //---------------------------------------------------------------------- |
| 624 | // From linux-2.6.8.1/include/asm-i386/segment.h |
| 625 | //---------------------------------------------------------------------- |
| 626 | |
| 627 | #define VKI_GDT_ENTRY_TLS_ENTRIES 3 |
| 628 | #define VKI_GDT_ENTRY_TLS_MIN 6 |
| 629 | #define VKI_GDT_ENTRY_TLS_MAX (VKI_GDT_ENTRY_TLS_MIN + VKI_GDT_ENTRY_TLS_ENTRIES - 1) |
| 630 | |
| 631 | //---------------------------------------------------------------------- |
| 632 | // From linux-2.6.8.1/include/asm-i386/ldt.h |
| 633 | //---------------------------------------------------------------------- |
| 634 | |
| 635 | /* [[Nb: This is the structure passed to the modify_ldt syscall. Just so as |
| 636 | to confuse and annoy everyone, this is _not_ the same as an |
| 637 | VgLdtEntry and has to be translated into such. The logic for doing |
| 638 | so, in vg_ldt.c, is copied from the kernel sources.]] */ |
| 639 | struct vki_user_desc { |
| 640 | unsigned int entry_number; |
| 641 | unsigned long base_addr; |
| 642 | unsigned int limit; |
| 643 | unsigned int seg_32bit:1; |
| 644 | unsigned int contents:2; |
| 645 | unsigned int read_exec_only:1; |
| 646 | unsigned int limit_in_pages:1; |
| 647 | unsigned int seg_not_present:1; |
| 648 | unsigned int useable:1; |
| 649 | // [[Nb: this field is not in the kernel sources, but it has always |
| 650 | // been in the Valgrind sources so I will keep it there in case it's |
| 651 | // important... this is an x86-defined data structure so who |
| 652 | // knows; maybe it's important to set this field to zero at some |
| 653 | // point. --njn]] |
| 654 | unsigned int reserved:25; |
| 655 | }; |
| 656 | |
| 657 | // [[Nb: for our convenience within Valgrind, use a more specific name]] |
| 658 | typedef struct vki_user_desc vki_modify_ldt_t; |
| 659 | |
| 660 | //---------------------------------------------------------------------- |
| 661 | // From linux-2.6.8.1/include/asm-i386/ipcbuf.h |
| 662 | //---------------------------------------------------------------------- |
| 663 | |
| 664 | struct vki_ipc64_perm |
| 665 | { |
| 666 | __vki_kernel_key_t key; |
| 667 | __vki_kernel_uid32_t uid; |
| 668 | __vki_kernel_gid32_t gid; |
| 669 | __vki_kernel_uid32_t cuid; |
| 670 | __vki_kernel_gid32_t cgid; |
| 671 | __vki_kernel_mode_t mode; |
| 672 | unsigned short __pad1; |
| 673 | unsigned short seq; |
| 674 | unsigned short __pad2; |
| 675 | unsigned long __unused1; |
| 676 | unsigned long __unused2; |
| 677 | }; |
| 678 | |
| 679 | //---------------------------------------------------------------------- |
| 680 | // From linux-2.6.8.1/include/asm-i386/sembuf.h |
| 681 | //---------------------------------------------------------------------- |
| 682 | |
| 683 | struct vki_semid64_ds { |
| 684 | struct vki_ipc64_perm sem_perm; /* permissions .. see ipc.h */ |
| 685 | __vki_kernel_time_t sem_otime; /* last semop time */ |
| 686 | unsigned long __unused1; |
| 687 | __vki_kernel_time_t sem_ctime; /* last change time */ |
| 688 | unsigned long __unused2; |
| 689 | unsigned long sem_nsems; /* no. of semaphores in array */ |
| 690 | unsigned long __unused3; |
| 691 | unsigned long __unused4; |
| 692 | }; |
| 693 | |
| 694 | //---------------------------------------------------------------------- |
| 695 | // From linux-2.6.8.1/include/asm-i386/msgbuf.h |
| 696 | //---------------------------------------------------------------------- |
| 697 | |
| 698 | struct vki_msqid64_ds { |
| 699 | struct vki_ipc64_perm msg_perm; |
| 700 | __vki_kernel_time_t msg_stime; /* last msgsnd time */ |
| 701 | unsigned long __unused1; |
| 702 | __vki_kernel_time_t msg_rtime; /* last msgrcv time */ |
| 703 | unsigned long __unused2; |
| 704 | __vki_kernel_time_t msg_ctime; /* last change time */ |
| 705 | unsigned long __unused3; |
| 706 | unsigned long msg_cbytes; /* current number of bytes on queue */ |
| 707 | unsigned long msg_qnum; /* number of messages in queue */ |
| 708 | unsigned long msg_qbytes; /* max number of bytes on queue */ |
| 709 | __vki_kernel_pid_t msg_lspid; /* pid of last msgsnd */ |
| 710 | __vki_kernel_pid_t msg_lrpid; /* last receive pid */ |
| 711 | unsigned long __unused4; |
| 712 | unsigned long __unused5; |
| 713 | }; |
| 714 | |
| 715 | //---------------------------------------------------------------------- |
| 716 | // From linux-2.6.8.1/include/asm-i386/ipc.h |
| 717 | //---------------------------------------------------------------------- |
| 718 | |
| 719 | struct vki_ipc_kludge { |
| 720 | struct vki_msgbuf __user *msgp; |
| 721 | long msgtyp; |
| 722 | }; |
| 723 | |
| 724 | #define VKI_SEMOP 1 |
| 725 | #define VKI_SEMGET 2 |
| 726 | #define VKI_SEMCTL 3 |
| 727 | #define VKI_SEMTIMEDOP 4 |
| 728 | #define VKI_MSGSND 11 |
| 729 | #define VKI_MSGRCV 12 |
| 730 | #define VKI_MSGGET 13 |
| 731 | #define VKI_MSGCTL 14 |
| 732 | #define VKI_SHMAT 21 |
| 733 | #define VKI_SHMDT 22 |
| 734 | #define VKI_SHMGET 23 |
| 735 | #define VKI_SHMCTL 24 |
| 736 | |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 737 | //---------------------------------------------------------------------- |
| 738 | // From linux-2.6.8.1/include/asm-i386/shmbuf.h |
| 739 | //---------------------------------------------------------------------- |
| 740 | |
| 741 | struct vki_shmid64_ds { |
| 742 | struct vki_ipc64_perm shm_perm; /* operation perms */ |
| 743 | vki_size_t shm_segsz; /* size of segment (bytes) */ |
| 744 | __vki_kernel_time_t shm_atime; /* last attach time */ |
| 745 | unsigned long __unused1; |
| 746 | __vki_kernel_time_t shm_dtime; /* last detach time */ |
| 747 | unsigned long __unused2; |
| 748 | __vki_kernel_time_t shm_ctime; /* last change time */ |
| 749 | unsigned long __unused3; |
| 750 | __vki_kernel_pid_t shm_cpid; /* pid of creator */ |
| 751 | __vki_kernel_pid_t shm_lpid; /* pid of last operator */ |
| 752 | unsigned long shm_nattch; /* no. of current attaches */ |
| 753 | unsigned long __unused4; |
| 754 | unsigned long __unused5; |
| 755 | }; |
| 756 | |
| 757 | struct vki_shminfo64 { |
| 758 | unsigned long shmmax; |
| 759 | unsigned long shmmin; |
| 760 | unsigned long shmmni; |
| 761 | unsigned long shmseg; |
| 762 | unsigned long shmall; |
| 763 | unsigned long __unused1; |
| 764 | unsigned long __unused2; |
| 765 | unsigned long __unused3; |
| 766 | unsigned long __unused4; |
| 767 | }; |
| 768 | |
| 769 | //---------------------------------------------------------------------- |
| 770 | // DRM ioctls |
| 771 | //---------------------------------------------------------------------- |
| 772 | |
| 773 | // jrs 20050207: where did all this stuff come from? Is it really |
| 774 | // i386 specific, or should it go into the linux-generic category? |
| 775 | //struct vki_drm_buf_pub { |
| 776 | // Int idx; /**< Index into the master buffer list */ |
| 777 | // Int total; /**< Buffer size */ |
| 778 | // Int used; /**< Amount of buffer in use (for DMA) */ |
| 779 | // void __user *address; /**< Address of buffer */ |
| 780 | //}; |
| 781 | // |
| 782 | //struct vki_drm_buf_map { |
| 783 | // Int count; /**< Length of the buffer list */ |
| 784 | // void __user *virtual; /**< Mmap'd area in user-virtual */ |
| 785 | // struct vki_drm_buf_pub __user *list; /**< Buffer information */ |
| 786 | //}; |
| 787 | // |
| 788 | ///* We need to pay attention to this, because it mmaps memory */ |
| 789 | //#define VKI_DRM_IOCTL_MAP_BUFS _VKI_IOWR('d', 0x19, struct vki_drm_buf_map) |
| 790 | |
| 791 | //---------------------------------------------------------------------- |
| 792 | // From linux-2.6.9/include/asm-i386/ptrace.h |
| 793 | //---------------------------------------------------------------------- |
| 794 | |
| 795 | #define VKI_PTRACE_GETREGS 12 |
| 796 | #define VKI_PTRACE_SETREGS 13 |
| 797 | #define VKI_PTRACE_GETFPREGS 14 |
| 798 | #define VKI_PTRACE_SETFPREGS 15 |
sewardj | e61a628 | 2011-03-24 11:33:00 +0000 | [diff] [blame] | 799 | #define VKI_PTRACE_GETWMMXREGS 18 |
| 800 | #define VKI_PTRACE_SETWMMXREGS 19 |
| 801 | #define VKI_PTRACE_GET_THREAD_AREA 22 |
| 802 | #define VKI_PTRACE_SET_SYSCALL 23 |
| 803 | #define VKI_PTRACE_GETCRUNCHREGS 25 |
| 804 | #define VKI_PTRACE_SETCRUNCHREGS 26 |
| 805 | #define VKI_PTRACE_GETVFPREGS 27 |
| 806 | #define VKI_PTRACE_SETVFPREGS 28 |
| 807 | #define VKI_PTRACE_GETHBPREGS 29 |
| 808 | #define VKI_PTRACE_SETHBPREGS 30 |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 809 | |
| 810 | //---------------------------------------------------------------------- |
| 811 | // From linux-2.6.15.4/include/asm-i386/vm86.h |
| 812 | //---------------------------------------------------------------------- |
| 813 | |
| 814 | #define VKI_VM86_PLUS_INSTALL_CHECK 0 |
| 815 | #define VKI_VM86_ENTER 1 |
| 816 | #define VKI_VM86_ENTER_NO_BYPASS 2 |
| 817 | #define VKI_VM86_REQUEST_IRQ 3 |
| 818 | #define VKI_VM86_FREE_IRQ 4 |
| 819 | #define VKI_VM86_GET_IRQ_BITS 5 |
| 820 | #define VKI_VM86_GET_AND_RESET_IRQ 6 |
| 821 | |
| 822 | struct vki_vm86_regs { |
| 823 | /* |
| 824 | * normal regs, with special meaning for the segment descriptors.. |
| 825 | */ |
| 826 | long ebx; |
| 827 | long ecx; |
| 828 | long edx; |
| 829 | long esi; |
| 830 | long edi; |
| 831 | long ebp; |
| 832 | long eax; |
| 833 | long __null_ds; |
| 834 | long __null_es; |
| 835 | long __null_fs; |
| 836 | long __null_gs; |
| 837 | long orig_eax; |
| 838 | long eip; |
| 839 | unsigned short cs, __csh; |
| 840 | long eflags; |
| 841 | long esp; |
| 842 | unsigned short ss, __ssh; |
| 843 | /* |
| 844 | * these are specific to v86 mode: |
| 845 | */ |
| 846 | unsigned short es, __esh; |
| 847 | unsigned short ds, __dsh; |
| 848 | unsigned short fs, __fsh; |
| 849 | unsigned short gs, __gsh; |
| 850 | }; |
| 851 | |
| 852 | struct vki_revectored_struct { |
| 853 | unsigned long __map[8]; /* 256 bits */ |
| 854 | }; |
| 855 | |
| 856 | struct vki_vm86_struct { |
| 857 | struct vki_vm86_regs regs; |
| 858 | unsigned long flags; |
| 859 | unsigned long screen_bitmap; |
| 860 | unsigned long cpu_type; |
| 861 | struct vki_revectored_struct int_revectored; |
| 862 | struct vki_revectored_struct int21_revectored; |
| 863 | }; |
| 864 | |
| 865 | struct vki_vm86plus_info_struct { |
| 866 | unsigned long force_return_for_pic:1; |
| 867 | unsigned long vm86dbg_active:1; /* for debugger */ |
| 868 | unsigned long vm86dbg_TFpendig:1; /* for debugger */ |
| 869 | unsigned long unused:28; |
| 870 | unsigned long is_vm86pus:1; /* for vm86 internal use */ |
| 871 | unsigned char vm86dbg_intxxtab[32]; /* for debugger */ |
| 872 | }; |
| 873 | |
| 874 | struct vki_vm86plus_struct { |
| 875 | struct vki_vm86_regs regs; |
| 876 | unsigned long flags; |
| 877 | unsigned long screen_bitmap; |
| 878 | unsigned long cpu_type; |
| 879 | struct vki_revectored_struct int_revectored; |
| 880 | struct vki_revectored_struct int21_revectored; |
| 881 | struct vki_vm86plus_info_struct vm86plus; |
| 882 | }; |
| 883 | |
| 884 | //---------------------------------------------------------------------- |
sewardj | a3551be | 2010-09-09 07:25:58 +0000 | [diff] [blame] | 885 | // From linux-2.6.35.4/arch/arm/include/asm/hwcap.h |
| 886 | //---------------------------------------------------------------------- |
| 887 | |
| 888 | #define VKI_HWCAP_NEON 4096 |
| 889 | |
| 890 | //---------------------------------------------------------------------- |
sewardj | 59570ff | 2010-01-01 11:59:33 +0000 | [diff] [blame] | 891 | // And that's it! |
| 892 | //---------------------------------------------------------------------- |
| 893 | |
| 894 | #endif // __VKI_ARM_LINUX_H |
| 895 | |
| 896 | /*--------------------------------------------------------------------*/ |
| 897 | /*--- end vki-arm-linux.h ---*/ |
| 898 | /*--------------------------------------------------------------------*/ |