l4/pkg/l4sys/include/ARCH-arm/consts.h

   1 /**
   2  * \file
   3  * \brief   Common L4 constants, arm version
   4  * \ingroup l4_api
   5  */
   6 /*
   7  * (c) 2008-2009 Technische Universität Dresden
   8  * This file is part of TUD:OS and distributed under the terms of the
   9  * GNU General Public License 2.
  10  * Please see the COPYING-GPL-2 file for details.
  11  *
  12  * As a special exception, you may use this file as part of a free software
  13  * library without restriction.  Specifically, if other files instantiate
  14  * templates or use macros or inline functions from this file, or you compile
  15  * this file and link it with other files to produce an executable, this
  16  * file does not by itself cause the resulting executable to be covered by
  17  * the GNU General Public License.  This exception does not however
  18  * invalidate any other reasons why the executable file might be covered by
  19  * the GNU General Public License.
  20  */
  21 #ifndef _L4_SYS_CONSTS_H
  22 #define _L4_SYS_CONSTS_H
  23
  24 /* L4 includes */
  25 #include <l4/sys/l4int.h>
  26 /**
  27  * \addtogroup l4_memory_api
  28  */
  29 /*@{*/
  30 /**
  31  * Size of a page, log2-based.
  32  */
  33 #define L4_PAGESHIFT            12
  34
  35 /**
  36  * Size of a large page, log2-based.
  37  */
  38 #define L4_SUPERPAGESHIFT       20
  39
  40 /*@}*/
  41
  42 #include_next <l4/sys/consts.h>
  43
  44 #endif /* !_L4_SYS_CONSTS_H */