blob: de445f80735d7e86ffeac72fa14b69006c5c7e7d [file] [log] [blame]
njnca0518d2004-11-26 19:34:36 +00001
2/*--------------------------------------------------------------------*/
3/*--- ARM/Linux-specific kernel interface: posix types. ---*/
njn14f73652005-05-16 03:36:19 +00004/*--- vki_posixtypes-arm-linux.h ---*/
njnca0518d2004-11-26 19:34:36 +00005/*--------------------------------------------------------------------*/
6
7/*
njnb9c427c2004-12-01 14:14:42 +00008 This file is part of Valgrind, a dynamic binary instrumentation
9 framework.
njnca0518d2004-11-26 19:34:36 +000010
njn53612422005-03-12 16:22:54 +000011 Copyright (C) 2000-2005 Julian Seward
njnca0518d2004-11-26 19:34:36 +000012 jseward@acm.org
13
14 This program is free software; you can redistribute it and/or
15 modify it under the terms of the GNU General Public License as
16 published by the Free Software Foundation; either version 2 of the
17 License, or (at your option) any later version.
18
19 This program is distributed in the hope that it will be useful, but
20 WITHOUT ANY WARRANTY; without even the implied warranty of
21 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
22 General Public License for more details.
23
24 You should have received a copy of the GNU General Public License
25 along with this program; if not, write to the Free Software
26 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
27 02111-1307, USA.
28
29 The GNU General Public License is contained in the file COPYING.
30*/
31
njn14f73652005-05-16 03:36:19 +000032#ifndef __VKI_POSIXTYPES_ARM_LINUX_H
33#define __VKI_POSIXTYPES_ARM_LINUX_H
njnca0518d2004-11-26 19:34:36 +000034
35//----------------------------------------------------------------------
36// From linux-2.6.8.1/include/asm-i386/posix_types.h
37//----------------------------------------------------------------------
38
39typedef unsigned short __vki_kernel_mode_t;
40typedef long __vki_kernel_off_t;
41typedef int __vki_kernel_pid_t;
42typedef unsigned short __vki_kernel_ipc_pid_t;
43typedef unsigned short __vki_kernel_uid_t;
44typedef unsigned short __vki_kernel_gid_t;
45typedef unsigned int __vki_kernel_size_t;
46typedef long __vki_kernel_time_t;
47typedef long __vki_kernel_suseconds_t;
48typedef long __vki_kernel_clock_t;
49typedef int __vki_kernel_timer_t;
50typedef int __vki_kernel_clockid_t;
51typedef char * __vki_kernel_caddr_t;
52typedef unsigned int __vki_kernel_uid32_t;
53typedef unsigned int __vki_kernel_gid32_t;
54
55typedef unsigned short __vki_kernel_old_uid_t;
56typedef unsigned short __vki_kernel_old_gid_t;
57
58typedef long long __vki_kernel_loff_t;
59
60typedef struct {
61 int val[2];
62} __vki_kernel_fsid_t;
63
njn14f73652005-05-16 03:36:19 +000064#endif // __VKI_POSIXTYPES_ARM_LINUX_H
njnca0518d2004-11-26 19:34:36 +000065
66/*--------------------------------------------------------------------*/
67/*--- end ---*/
68/*--------------------------------------------------------------------*/