2 /*--------------------------------------------------------------------*/
3 /*--- mips/Linux-specific kernel interface: posix types. ---*/
4 /*--- vki-posixtypes-mips64-linux.h ---*/
5 /*--------------------------------------------------------------------*/
8 This file is part of Valgrind, a dynamic binary instrumentation
11 Copyright (C) 2010-2017 RT-RK
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.
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.
23 You should have received a copy of the GNU General Public License
24 along with this program; if not, see <http://www.gnu.org/licenses/>.
27 #ifndef __VKI_POSIXTYPES_MIPS64_LINUX_H
28 #define __VKI_POSIXTYPES_MIPS64_LINUX_H
30 typedef unsigned long __vki_kernel_ino_t
;
31 typedef unsigned int __vki_kernel_mode_t
;
32 #if (_MIPS_SZLONG == 32)
33 typedef unsigned long __vki_kernel_nlink_t
;
35 #if (_MIPS_SZLONG == 64)
36 typedef unsigned int __vki_kernel_nlink_t
;
38 typedef long __vki_kernel_off_t
;
39 typedef int __vki_kernel_pid_t
;
40 typedef int __vki_kernel_ipc_pid_t
;
41 typedef unsigned int __vki_kernel_uid_t
;
42 typedef unsigned int __vki_kernel_gid_t
;
43 #if (_MIPS_SZLONG == 32)
44 typedef unsigned int __vki_kernel_size_t
;
45 typedef int __vki_kernel_ssize_t
;
46 typedef int __vki_kernel_ptrdiff_t
;
48 #if (_MIPS_SZLONG == 64)
49 typedef unsigned long __vki_kernel_size_t
;
50 typedef long __vki_kernel_ssize_t
;
51 typedef long __vki_kernel_ptrdiff_t
;
53 typedef long __vki_kernel_time_t
;
54 typedef long __vki_kernel_suseconds_t
;
55 typedef long __vki_kernel_clock_t
;
56 typedef int __vki_kernel_timer_t
;
57 typedef int __vki_kernel_clockid_t
;
58 typedef long __vki_kernel_daddr_t
;
59 typedef char * __vki_kernel_caddr_t
;
61 typedef unsigned short __vki_kernel_uid16_t
;
62 typedef unsigned short __vki_kernel_gid16_t
;
63 typedef unsigned int __vki_kernel_uid32_t
;
64 typedef unsigned int __vki_kernel_gid32_t
;
65 typedef __vki_kernel_uid_t __vki_kernel_old_uid_t
;
66 typedef __vki_kernel_gid_t __vki_kernel_old_gid_t
;
67 typedef unsigned int __vki_kernel_old_dev_t
;
69 typedef long long __vki_kernel_loff_t
;
72 #if (_MIPS_SZLONG == 32)
75 #if (_MIPS_SZLONG == 64)
78 } __vki_kernel_fsid_t
;
80 #endif // __VKI_POSIXTYPES_MIPS64_LINUX_H
82 /*--------------------------------------------------------------------*/
83 /*--- end vki-posixtypes-mips-linux.h ---*/
84 /*--------------------------------------------------------------------*/