1 2 /*--------------------------------------------------------------------*/ 3 /*--- x86/Linux-specific kernel interface: posix types. ---*/ 4 /*--- vki_posixtypes-x86-linux.h ---*/ 5 /*--------------------------------------------------------------------*/ 6 7 /* 8 This file is part of Valgrind, a dynamic binary instrumentation 9 framework. 10 11 Copyright (C) 2000-2005 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_MACHINE_TYPES_AMD64_FREEBSD_H 33 #define __VKI_MACHINE_TYPES_AMD64_FREEBSD_H 34 35 //---------------------------------------------------------------------- 36 // From sys/i386/include/_types.h 37 //---------------------------------------------------------------------- 38 39 typedef __signed char vki_int8_t; 40 typedef unsigned char vki_uint8_t; 41 typedef short vki_int16_t; 42 typedef unsigned short vki_uint16_t; 43 typedef int vki_int32_t; 44 typedef unsigned int vki_uint32_t; 45 typedef long vki_int64_t; 46 typedef unsigned long vki_uint64_t; 47 typedef unsigned long vki_uintptr_t; 48 typedef long vki_intptr_t; 49 50 51 typedef unsigned int __vki_clock_t; 52 typedef unsigned int __vki_cpumask_t; 53 typedef char * __vki_caddr_t; /* QQQ 32 on 64 */ 54 typedef double __vki_double_t; 55 typedef double __vki_float_t; 56 typedef vki_int64_t __vki_intfptr_t; 57 typedef vki_int64_t __vki_intmax_t; 58 typedef vki_int64_t __vki_ptrdiff_t; 59 typedef vki_int64_t __vki_register_t; 60 typedef vki_int64_t __vki_segsz_t; 61 typedef vki_uint64_t __vki_size_t; 62 typedef vki_int64_t __vki_ssize_t; 63 typedef vki_int64_t __vki_time_t; 64 typedef vki_uint64_t __vki_uintfptr_t; 65 typedef vki_uint64_t __vki_uintmax_t; 66 typedef vki_uint64_t __vki_u_register_t; 67 typedef vki_uint64_t __vki_vm_offset_t; 68 typedef vki_int64_t __vki_vm_ooffset_t; 69 typedef vki_uint64_t __vki_vm_paddr_t; /* QQQ int64 for PAE */ 70 typedef vki_uint64_t __vki_vm_pindex_t; 71 typedef vki_uint64_t __vki_vm_size_t; 72 73 #endif // __VKI_MACHINE_TYPES_AMD64_FREEBSD_H 74 75 /*--------------------------------------------------------------------*/ 76 /*--- end ---*/ 77 /*--------------------------------------------------------------------*/ 78