DDE - The L4 Device Driver Environment: types.h Source File

00001 /*
00002  * \brief   Types for ddekit (x86 version)
00003  * \author  Thomas Friebel <tf13@os.inf.tu-dresden.de>
00004  * \author  Christian Helmuth <ch12@os.inf.tu-dresden.de>
00005  * \date    2006-11-09
00006  *
00007  * FIXME This is definitely arch-dependent! Move to ARCH-something
00008  */
00009 
00010 #ifndef _DDEKIT_TYPES_H
00011 #define _DDEKIT_TYPES_H
00012 
00013 typedef signed char        ddekit_int8_t;
00014 typedef unsigned char      ddekit_uint8_t;
00015 typedef signed short int   ddekit_int16_t;
00016 typedef unsigned short int ddekit_uint16_t;
00017 typedef signed int         ddekit_int32_t;
00018 typedef unsigned int       ddekit_uint32_t;
00019 
00020 typedef unsigned long      ddekit_addr_t;
00021 
00022 #endif