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

0001
0002 /*--------------------------------------------------------------------*/
0003 /*--- x86/FreeBSD-specific kernel interface: posix types.          ---*/
0004 /*---                               vki_posixtypes-arm64-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) 2024 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_ARM64_FREEBSD_H
0033 #define VKI_MACHINE_TYPES_ARM64_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           vki_int64_t;
0046 typedef unsigned long  vki_uint64_t;
0047 typedef unsigned long  vki_uintptr_t;
0048 typedef long           vki_intptr_t;
0049
0050 typedef unsigned int __vki_clock_t;
0051 typedef unsigned int __vki_cpumask_t;
0052 typedef char*        __vki_caddr_t; /* QQQ 32 on 64 */
0053 typedef double       __vki_double_t;
0054 typedef double       __vki_float_t;
0055 typedef vki_int64_t  __vki_intfptr_t;
0056 typedef vki_int64_t  __vki_intmax_t;
0057 typedef vki_int64_t  __vki_ptrdiff_t;
0058 typedef vki_int64_t  __vki_register_t;
0059 typedef vki_int64_t  __vki_segsz_t;
0060 typedef vki_uint64_t __vki_size_t;
0061 typedef vki_int64_t  __vki_ssize_t;
0062 typedef vki_int64_t  __vki_time_t;
0063 typedef vki_uint64_t __vki_uintfptr_t;
0064 typedef vki_uint64_t __vki_uintmax_t;
0065 typedef vki_uint64_t __vki_u_register_t;
0066 typedef vki_uint64_t __vki_vm_offset_t;
0067 typedef vki_int64_t  __vki_vm_ooffset_t;
0068 typedef vki_uint64_t __vki_vm_paddr_t; /* QQQ int64 for PAE */
0069 typedef vki_uint64_t __vki_vm_pindex_t;
0070 typedef vki_uint64_t __vki_vm_size_t;
0071
0072 #endif // VKI_MACHINE_TYPES_ARM64_FREEBSD_H
0073
0074 /*--------------------------------------------------------------------*/
0075 /*--- end                                                          ---*/
0076 /*--------------------------------------------------------------------*/