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

   1
   2 /*--------------------------------------------------------------------*/
   3 /*--- x86/FreeBSD-specific kernel interface: posix types.          ---*/
   4 /*---                                 vki_posixtypes-x86-freebsd.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    Copyright (C) 2018-2021 Paul Floyd
  14       pjfloyd@wanadoo.fr
  15
  16    This program is free software; you can redistribute it and/or
  17    modify it under the terms of the GNU General Public License as
  18    published by the Free Software Foundation; either version 2 of the
  19    License, or (at your option) any later version.
  20
  21    This program is distributed in the hope that it will be useful, but
  22    WITHOUT ANY WARRANTY; without even the implied warranty of
  23    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  24    General Public License for more details.
  25
  26    You should have received a copy of the GNU General Public License
  27    along with this program; if not, see <http://www.gnu.org/licenses/>.
  28
  29    The GNU General Public License is contained in the file COPYING.
  30 */
  31
  32 #ifndef __VKI_MACHINE_TYPES_X86_FREEBSD_H
  33 #define __VKI_MACHINE_TYPES_X86_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 long vki_int64_t;
  46 typedef unsigned long long vki_uint64_t;
  47 typedef unsigned int vki_uintptr_t;
  48 typedef int    vki_intptr_t;
  49
  50
  51 typedef  unsigned long  __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_int32_t __vki_intfptr_t;
  57 typedef  vki_int64_t __vki_intmax_t;
  58 typedef  vki_int32_t __vki_ptrdiff_t;
  59 typedef  vki_int32_t __vki_register_t;
  60 typedef  vki_int32_t __vki_segsz_t;
  61 typedef  vki_uint32_t   __vki_size_t;
  62 typedef  vki_int32_t __vki_ssize_t;
  63 typedef  vki_int32_t __vki_time_t;
  64 typedef  vki_uint32_t   __vki_uintfptr_t;
  65 typedef  vki_uint64_t   __vki_uintmax_t;
  66 typedef  vki_uint32_t   __vki_u_register_t;
  67 typedef  vki_uint32_t   __vki_vm_offset_t;
  68 typedef  vki_int64_t __vki_vm_ooffset_t;
  69 typedef  vki_uint32_t   __vki_vm_paddr_t; /* QQQ int64 for PAE */
  70 typedef  vki_uint64_t   __vki_vm_pindex_t;
  71 typedef  vki_uint32_t   __vki_vm_size_t;
  72
  73 #endif // __VKI_MACHINE_TYPES_X86_FREEBSD_H
  74
  75 /*--------------------------------------------------------------------*/
  76 /*--- end                                                          ---*/
  77 /*--------------------------------------------------------------------*/