libddekit/ddekit/types.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

/*
 * \brief   Types for ddekit (x86 version)
 * \author  Thomas Friebel <tf13@os.inf.tu-dresden.de>
 * \author  Christian Helmuth <ch12@os.inf.tu-dresden.de>
 * \date    2006-11-09
 *
 * FIXME This is definitely arch-dependent! Move to ARCH-something
 */

#ifndef _DDEKIT_TYPES_H
#define _DDEKIT_TYPES_H

typedef signed char        ddekit_int8_t;
typedef unsigned char      ddekit_uint8_t;
typedef signed short int   ddekit_int16_t;
typedef unsigned short int ddekit_uint16_t;
typedef signed int         ddekit_int32_t;
typedef unsigned int       ddekit_uint32_t;

typedef unsigned long      ddekit_addr_t;

#endif