1 2 /*--------------------------------------------------------------------*/ 3 /*--- arm64/Linux-specific kernel interface: posix types. ---*/ 4 /*--- vki-posixtypes-arm64-linux.h ---*/ 5 /*--------------------------------------------------------------------*/ 6 7 /* 8 This file is part of Valgrind, a dynamic binary instrumentation 9 framework. 10 11 Copyright (C) 2013-2013 OpenWorks 12 info (at) open-works.net 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 32 #ifndef __VKI_POSIXTYPES_ARM64_LINUX_H 33 #define __VKI_POSIXTYPES_ARM64_LINUX_H 34 35 //---------------------------------------------------------------------- 36 // From linux-3.9.9/include/uapi/asm-generic/posix_types.h 37 //---------------------------------------------------------------------- 38 39 typedef unsigned int __vki_kernel_mode_t; 40 typedef long __vki_kernel_off_t; 41 typedef int __vki_kernel_pid_t; 42 typedef int __vki_kernel_ipc_pid_t; 43 typedef unsigned int __vki_kernel_uid_t; 44 typedef unsigned int __vki_kernel_gid_t; 45 typedef unsigned long __vki_kernel_size_t; 46 typedef long __vki_kernel_time_t; 47 typedef long __vki_kernel_suseconds_t; 48 typedef long __vki_kernel_clock_t; 49 typedef int __vki_kernel_timer_t; 50 typedef int __vki_kernel_clockid_t; 51 typedef char * __vki_kernel_caddr_t; 52 typedef unsigned int __vki_kernel_uid32_t; 53 typedef unsigned int __vki_kernel_gid32_t; 54 55 typedef unsigned int __vki_kernel_old_uid_t; 56 typedef unsigned int __vki_kernel_old_gid_t; 57 58 typedef long long __vki_kernel_loff_t; 59 60 typedef struct { 61 int val[2]; 62 } __vki_kernel_fsid_t; 63 64 #endif // __VKI_POSIXTYPES_ARM64_LINUX_H 65 66 /*--------------------------------------------------------------------*/ 67 /*--- end vki-posixtypes-arm64-linux.h ---*/ 68 /*--------------------------------------------------------------------*/ 69