1  /*
   2   * \brief  Integer types
   3   * \author Christian Helmuth
   4   * \date   2006-05-10
   5   */
   6  
   7  /*
   8   * Copyright (C) 2006-2013 Genode Labs GmbH
   9   *
  10   * This file is part of the Genode OS framework, which is distributed
  11   * under the terms of the GNU General Public License version 2.
  12   */
  13  
  14  #ifndef _INCLUDE__BASE__STDINT_H_
  15  #define _INCLUDE__BASE__STDINT_H_
  16  
  17  /* fixed-width integer types */
  18  #include <base/fixed_stdint.h>
  19  
  20  namespace Genode {
  21  
  22     /**
  23      * Integer type for non-negative size values
  24      */
  25     typedef __SIZE_TYPE__   size_t;
  26  
  27     /**
  28      * Integer type for memory addresses
  29      */
  30     typedef unsigned long   addr_t;
  31  
  32     /**
  33      * Integer type for memory offset values
  34      */
  35     typedef long             off_t;
  36  
  37     /**
  38      * Integer type corresponding to a machine register
  39      */
  40     typedef unsigned long umword_t;
  41  }
  42  
  43  #endif /* _INCLUDE__BASE__STDINT_H_ */