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

   1 /*
   2  * This file is part of DDEKit.
   3  *
   4  * (c) 2006-2010 Bjoern Doebel <doebel@os.inf.tu-dresden.de>
   5  *               Christian Helmuth <ch12@os.inf.tu-dresden.de>
   6  *               Thomas Friebel <tf13@os.inf.tu-dresden.de>
   7  *     economic rights: Technische Universitaet Dresden (Germany)
   8  *
   9  * This file is part of TUD:OS and distributed under the terms of the
  10  * GNU General Public License 2.
  11  * Please see the COPYING-GPL-2 file for details.
  12  */
  13
  14 /*
  15  * \brief   Types for ddekit (x86 version)
  16  *
  17  * FIXME This is definitely arch-dependent! Move to ARCH-something
  18  */
  19
  20 #pragma once
  21
  22 typedef signed char        ddekit_int8_t;
  23 typedef unsigned char      ddekit_uint8_t;
  24 typedef signed short int   ddekit_int16_t;
  25 typedef unsigned short int ddekit_uint16_t;
  26 typedef signed int         ddekit_int32_t;
  27 typedef unsigned int       ddekit_uint32_t;
  28
  29 typedef unsigned long      ddekit_addr_t;