2 * \brief Types for ddekit (x86 version)
3 * \author Thomas Friebel <tf13@os.inf.tu-dresden.de>
4 * \author Christian Helmuth <ch12@os.inf.tu-dresden.de>
7 * FIXME This is definitely arch-dependent! Move to ARCH-something
10 #ifndef _DDEKIT_TYPES_H
11 #define _DDEKIT_TYPES_H
13 typedef signed char ddekit_int8_t
;
14 typedef unsigned char ddekit_uint8_t
;
15 typedef signed short int ddekit_int16_t
;
16 typedef unsigned short int ddekit_uint16_t
;
17 typedef signed int ddekit_int32_t
;
18 typedef unsigned int ddekit_uint32_t
;
20 typedef unsigned long ddekit_addr_t
;