1 2 /*--------------------------------------------------------------------*/ 3 /*--- PPC64/Linux-specific kernel interface: posix types. ---*/ 4 /*--- vki-posixtypes-ppc64-linux.h ---*/ 5 /*--------------------------------------------------------------------*/ 6 7 /* 8 This file is part of Valgrind, a dynamic binary instrumentation 9 framework. 10 11 Copyright (C) 2005-2017 Julian Seward 12 jseward (at) 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 32 #ifndef __VKI_POSIXTYPES_PPC64_LINUX_H 33 #define __VKI_POSIXTYPES_PPC64_LINUX_H 34 35 //---------------------------------------------------------------------- 36 // From linux-2.6.13/include/asm-ppc64/posix_types.h 37 //---------------------------------------------------------------------- 38 39 typedef unsigned long __vki_kernel_ino_t; 40 typedef unsigned long __vki_kernel_nlink_t; 41 typedef unsigned int __vki_kernel_mode_t; 42 typedef long __vki_kernel_off_t; 43 typedef long long __vki_kernel_loff_t; 44 typedef int __vki_kernel_pid_t; 45 typedef int __vki_kernel_ipc_pid_t; 46 typedef unsigned int __vki_kernel_uid_t; 47 typedef unsigned int __vki_kernel_gid_t; 48 typedef unsigned long __vki_kernel_size_t; 49 typedef long __vki_kernel_ssize_t; 50 typedef long __vki_kernel_ptrdiff_t; 51 typedef long __vki_kernel_time_t; 52 typedef int __vki_kernel_timer_t; 53 typedef int __vki_kernel_clockid_t; 54 typedef long __vki_kernel_suseconds_t; 55 typedef long __vki_kernel_clock_t; 56 typedef int __vki_kernel_daddr_t; 57 typedef char * __vki_kernel_caddr_t; 58 typedef unsigned short __vki_kernel_uid16_t; 59 typedef unsigned short __vki_kernel_gid16_t; 60 typedef unsigned int __vki_kernel_uid32_t; 61 typedef unsigned int __vki_kernel_gid32_t; 62 63 typedef unsigned int __vki_kernel_old_uid_t; 64 typedef unsigned int __vki_kernel_old_gid_t; 65 typedef unsigned long __vki_kernel_old_dev_t; 66 67 typedef struct { 68 int val[2]; 69 } __vki_kernel_fsid_t; 70 71 #endif // __VKI_POSIXTYPES_PPC64_LINUX_H 72 73 /*--------------------------------------------------------------------*/ 74 /*--- end ---*/ 75 /*--------------------------------------------------------------------*/ 76
