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