l4/pkg/dde/include/ddekit/c++/types.h

   1 /*
   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>
   5  * \date    2006-11-09
   6  *
   7  * FIXME This is definitely arch-dependent! Move to ARCH-something
   8  */
   9
  10 /*
  11  * (c) 2006-2008 Technische Universität Dresden
  12  * This file is part of TUD:OS, which is distributed under the terms of the
  13  * GNU General Public License 2. Please see the COPYING file for details.
  14  */
  15
  16
  17 #pragma once
  18
  19 typedef signed char        ddekit_int8_t;
  20 typedef unsigned char      ddekit_uint8_t;
  21 typedef signed short int   ddekit_int16_t;
  22 typedef unsigned short int ddekit_uint16_t;
  23 typedef signed int         ddekit_int32_t;
  24 typedef unsigned int       ddekit_uint32_t;
  25
  26 typedef unsigned long      ddekit_addr_t;