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@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 39typedef unsigned long __vki_kernel_ino_t; 40typedef unsigned long __vki_kernel_nlink_t; 41typedef unsigned int __vki_kernel_mode_t; 42typedef long __vki_kernel_off_t; 43typedef long long __vki_kernel_loff_t; 44typedef int __vki_kernel_pid_t; 45typedef int __vki_kernel_ipc_pid_t; 46typedef unsigned int __vki_kernel_uid_t; 47typedef unsigned int __vki_kernel_gid_t; 48typedef unsigned long __vki_kernel_size_t; 49typedef long __vki_kernel_ssize_t; 50typedef long __vki_kernel_ptrdiff_t; 51typedef long __vki_kernel_time_t; 52typedef int __vki_kernel_timer_t; 53typedef int __vki_kernel_clockid_t; 54typedef long __vki_kernel_suseconds_t; 55typedef long __vki_kernel_clock_t; 56typedef int __vki_kernel_daddr_t; 57typedef char * __vki_kernel_caddr_t; 58typedef unsigned short __vki_kernel_uid16_t; 59typedef unsigned short __vki_kernel_gid16_t; 60typedef unsigned int __vki_kernel_uid32_t; 61typedef unsigned int __vki_kernel_gid32_t; 62 63typedef unsigned int __vki_kernel_old_uid_t; 64typedef unsigned int __vki_kernel_old_gid_t; 65typedef unsigned long __vki_kernel_old_dev_t; 66 67typedef struct { 68 int val[2]; 69} __vki_kernel_fsid_t; 70 71#endif // __VKI_POSIXTYPES_PPC64_LINUX_H 72 73/*--------------------------------------------------------------------*/ 74/*--- end ---*/ 75/*--------------------------------------------------------------------*/ 76