valgrind/vki/vki-machine-types-x86-freebsd.h

0001
0002 /*--------------------------------------------------------------------*/
0003 /*--- x86/FreeBSD-specific kernel interface: posix types.          ---*/
0004 /*---                                 vki_posixtypes-x86-freebsd.h ---*/
0005 /*--------------------------------------------------------------------*/
0006
0007 /*
0008    This file is part of Valgrind, a dynamic binary instrumentation
0009    framework.
0010
0011    Copyright (C) 2000-2005 Julian Seward
0012       jseward@acm.org
0013    Copyright (C) 2018-2021 Paul Floyd
0014       pjfloyd@wanadoo.fr
0015
0016    This program is free software; you can redistribute it and/or
0017    modify it under the terms of the GNU General Public License as
0018    published by the Free Software Foundation; either version 2 of the
0019    License, or (at your option) any later version.
0020
0021    This program is distributed in the hope that it will be useful, but
0022    WITHOUT ANY WARRANTY; without even the implied warranty of
0023    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
0024    General Public License for more details.
0025
0026    You should have received a copy of the GNU General Public License
0027    along with this program; if not, see <http://www.gnu.org/licenses/>.
0028
0029    The GNU General Public License is contained in the file COPYING.
0030 */
0031
0032 #ifndef __VKI_MACHINE_TYPES_X86_FREEBSD_H
0033 #define __VKI_MACHINE_TYPES_X86_FREEBSD_H
0034
0035 //----------------------------------------------------------------------
0036 // From sys/i386/include/_types.h
0037 //----------------------------------------------------------------------
0038
0039 typedef __signed char   vki_int8_t;
0040 typedef unsigned char   vki_uint8_t;
0041 typedef short     vki_int16_t;
0042 typedef unsigned short  vki_uint16_t;
0043 typedef int    vki_int32_t;
0044 typedef unsigned int vki_uint32_t;
0045 typedef long long vki_int64_t;
0046 typedef unsigned long long vki_uint64_t;
0047 typedef unsigned int vki_uintptr_t;
0048 typedef int    vki_intptr_t;
0049
0050
0051 typedef  unsigned long  __vki_clock_t;
0052 typedef  unsigned int   __vki_cpumask_t;
0053 typedef char *    __vki_caddr_t;    /* QQQ 32 on 64 */
0054 typedef  double      __vki_double_t;
0055 typedef  double      __vki_float_t;
0056 typedef  vki_int32_t __vki_intfptr_t;
0057 typedef  vki_int64_t __vki_intmax_t;
0058 typedef  vki_int32_t __vki_ptrdiff_t;
0059 typedef  vki_int32_t __vki_register_t;
0060 typedef  vki_int32_t __vki_segsz_t;
0061 typedef  vki_uint32_t   __vki_size_t;
0062 typedef  vki_int32_t __vki_ssize_t;
0063 typedef  vki_int32_t __vki_time_t;
0064 typedef  vki_uint32_t   __vki_uintfptr_t;
0065 typedef  vki_uint64_t   __vki_uintmax_t;
0066 typedef  vki_uint32_t   __vki_u_register_t;
0067 typedef  vki_uint32_t   __vki_vm_offset_t;
0068 typedef  vki_int64_t __vki_vm_ooffset_t;
0069 typedef  vki_uint32_t   __vki_vm_paddr_t; /* QQQ int64 for PAE */
0070 typedef  vki_uint64_t   __vki_vm_pindex_t;
0071 typedef  vki_uint32_t   __vki_vm_size_t;
0072
0073 #endif // __VKI_MACHINE_TYPES_X86_FREEBSD_H
0074
0075 /*--------------------------------------------------------------------*/
0076 /*--- end                                                          ---*/
0077 /*--------------------------------------------------------------------*/