1 /** 2 * \addtogroup l4_basic_types Integer Types 3 * \ingroup l4_api 4 * 5 * \includefile{l4/sys/l4int.h} 6 */ 7 8 /** 9 * \file 10 * Fixed sized integer types, generic version. 11 * \ingroup l4_basic_types 12 */ 13 /* 14 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>, 15 * Alexander Warg <warg@os.inf.tu-dresden.de> 16 * economic rights: Technische Universität Dresden (Germany) 17 * 18 * This file is part of TUD:OS and distributed under the terms of the 19 * GNU General Public License 2. 20 * Please see the COPYING-GPL-2 file for details. 21 * 22 * As a special exception, you may use this file as part of a free software 23 * library without restriction. Specifically, if other files instantiate 24 * templates or use macros or inline functions from this file, or you compile 25 * this file and link it with other files to produce an executable, this 26 * file does not by itself cause the resulting executable to be covered by 27 * the GNU General Public License. This exception does not however 28 * invalidate any other reasons why the executable file might be covered by 29 * the GNU General Public License. 30 */ 31 #ifndef __L4_SYS_L4INT_H__ 32 #define __L4_SYS_L4INT_H__ 33 34 /* fixed sized data types */ 35 typedef signed char l4_int8_t; /**< Signed 8bit value. \ingroup l4_basic_types */ 36 typedef unsigned char l4_uint8_t; /**< Unsigned 8bit value. \ingroup l4_basic_types */ 37 typedef signed short int l4_int16_t; /**< Signed 16bit value. \ingroup l4_basic_types */ 38 typedef unsigned short int l4_uint16_t; /**< Unsigned 16bit value. \ingroup l4_basic_types */ 39 typedef signed int l4_int32_t; /**< Signed 32bit value. \ingroup l4_basic_types */ 40 typedef unsigned int l4_uint32_t; /**< Unsigned 32bit value. \ingroup l4_basic_types */ 41 typedef signed long long l4_int64_t; /**< Signed 64bit value. \ingroup l4_basic_types */ 42 typedef unsigned long long l4_uint64_t; /**< Unsigned 64bit value. \ingroup l4_basic_types */ 43 44 /* some common data types */ 45 typedef unsigned long l4_addr_t; /**< Address type \ingroup l4_basic_types */ 46 47 48 typedef signed long l4_mword_t; /**< Signed machine word. 49 ** \ingroup l4_basic_types 50 **/ 51 typedef unsigned long l4_umword_t; /**< Unsigned machine word. 52 ** \ingroup l4_basic_types 53 **/ 54 /** 55 * CPU clock type. 56 * \ingroup l4_basic_types 57 */ 58 typedef l4_uint64_t l4_cpu_time_t; 59 60 /** 61 * Kernel clock type. 62 * \ingroup l4_basic_types 63 */ 64 typedef l4_uint64_t l4_kernel_clock_t; 65 66 #endif /* !__L4_SYS_L4INT_H__ */ 67