1  /*
   2   * \brief   DDE Kit types
   3   * \author  Christian Helmuth
   4   * \date    2008-08-15
   5   *
   6   * DDE Kit defines a strict boundary between the host system, i.e., Genode, and
   7   * the emulated system, e.g., Linux. Therefore we cannot use Genode headers for
   8   * type definition directly. We must redefine all required types to prevent
   9   * potential incompatiblities and conflicts.
  10   */
  11  
  12  /*
  13   * Copyright (C) 2008-2013 Genode Labs GmbH
  14   *
  15   * This file is part of the Genode OS framework, which is distributed
  16   * under the terms of the GNU General Public License version 2.
  17   */
  18  
  19  #ifndef _INCLUDE__DDE_KIT__TYPES_H_
  20  #define _INCLUDE__DDE_KIT__TYPES_H_
  21  
  22  #include <base/fixed_stdint.h> /* free-standing standard interger types */
  23  
  24  enum {
  25     DDE_KIT_PAGE_SHIFT = 12,
  26     DDE_KIT_PAGE_SIZE  = 1 << DDE_KIT_PAGE_SHIFT,  /* our page size is 4096 */
  27  };
  28  
  29  typedef genode_int8_t   dde_kit_int8_t;
  30  typedef genode_uint8_t  dde_kit_uint8_t;
  31  typedef genode_int16_t  dde_kit_int16_t;
  32  typedef genode_uint16_t dde_kit_uint16_t;
  33  typedef genode_int32_t  dde_kit_int32_t;
  34  typedef genode_uint32_t dde_kit_uint32_t;
  35  typedef genode_int64_t  dde_kit_int64_t;
  36  typedef genode_uint64_t dde_kit_uint64_t;
  37  
  38  typedef unsigned long   dde_kit_addr_t;
  39  typedef __SIZE_TYPE__   dde_kit_size_t;
  40  
  41  #endif /* _INCLUDE__DDE_KIT__TYPES_H_ */